diff --git a/setup/manageheader.php b/setup/manageheader.php index 2365254050..4fd18d5e04 100644 --- a/setup/manageheader.php +++ b/setup/manageheader.php @@ -126,6 +126,11 @@ else { fwrite($f,$newheader); fclose($f); + // invalidate OpCache so change have an effect, if scripts are cached and not checked for changes (as in our container installation) + if (function_exists('opcache_is_script_cached') && (opcache_is_script_cached($header= realpath('../header.inc.php')))) + { + opcache_invalidate($header, true); + } $GLOBALS['egw_setup']->html->show_header('Saved header.inc.php', False, 'header'); echo '