Opcache als invalid markieren, wenn Dateien beschrieben werden

_lastchanges.txt

@@ -6,12 +6,16 @@ Alle weiteren AddOns mit geplanten Änderungen etc. werden hier nicht abgehandel
 Änderungen im Detail:
 ---------------------------------------------------------------------------------
 
-Version 4.7.0 (2016-04-18)
+Version 4.7.0 (2016-04-19)
 
   Neu
   * PHP 7 Unterstützung
   * Neues Recht editMediaCategories[]
 
+  Bugfixes
+  * Probleme im Zusammenhang mit Opcache beseitigt (z. B. verzögerte Aktivierung von Addons etc.)
+
+
 Version 4.6.2 (2015-10-27)
 
   Wichtig

redaxo/include/classes/util/file.php

@@ -62,6 +62,7 @@ public static function put($file, $content)
 
         if (file_put_contents($file, $content) !== false) {
             @chmod($file, $REX['FILEPERM']);
+            self::invalidateCache($file);
             return true;
         }
 
@@ -115,12 +116,25 @@ public static function copy($srcfile, $dstfile)
             if (rex_dir::isWritable($dstdir) && (!file_exists($dstfile) || is_writable($dstfile)) && copy($srcfile, $dstfile)) {
                 touch($dstfile, filemtime($srcfile));
                 @chmod($dstfile, $REX['FILEPERM']);
+                self::invalidateCache($dstfile);
                 return true;
             }
         }
         return false;
     }
 
+    /**
+     * Invalidates the opcache for the given file
+     *
+     * @param string $file
+     */
+    public static function invalidateCache($file)
+    {
+        if (function_exists('opcache_invalidate')) {
+            opcache_invalidate($file);
+        }
+    }
+
     /**
      * Deletes a file
      *

redaxo/include/functions/function_rex_other.inc.php

@@ -380,6 +380,7 @@ function rex_put_file_contents($path, $content)
 
     $writtenBytes = file_put_contents($path, $content);
     @ chmod($path, $REX['FILEPERM']);
+    rex_file::invalidateCache($path);
 
     return $writtenBytes;
 }