File manager improvements

2018-12-13 16:36:39 +02:00
parent a41c53d7f4
commit 450e7894aa
1 changed files with 6 additions and 0 deletions
@@ -466,6 +466,9 @@ class Manager

            if (file_exists($sourceFile) && is_file($sourceFile)) {
                $res &= copy($sourceFile, $destFile);
+                if (function_exists('opcache_invalidate')) {
+                    opcache_invalidate($destFile);
+                }
            }
        }

@@ -558,6 +561,9 @@ class Manager
            }

            if (file_exists($filePath) && is_file($filePath)) {
+                if (function_exists('opcache_invalidate')) {
+                    opcache_invalidate($filePath, true);
+                }
                $result &= unlink($filePath);
            }
        }