invalidate opcache after writing header.inc.php if script is cached

so changes take immediate affect in our default container installation with opcache.validate_timestamps=off
This commit is contained in:
Ralf Becker 2019-09-15 12:17:33 +02:00
parent 14381800e6
commit b1fae07c75

View File

@ -126,6 +126,11 @@ else
{ {
fwrite($f,$newheader); fwrite($f,$newheader);
fclose($f); 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'); $GLOBALS['egw_setup']->html->show_header('Saved header.inc.php', False, 'header');
echo '<form action="index.php" method="post">'; echo '<form action="index.php" method="post">';
echo '<br />' . lang('Created header.inc.php!'); echo '<br />' . lang('Created header.inc.php!');