Reset opcache if update is detected

This even works if opcache_reset is in the disabled_functions php.ini setting.

Signed-off-by: Morris Jobke <hey@morrisjobke.de>

diff --git a/lib/base.php b/lib/base.php
index 38e9fb8e4984de8783abcdafe2d8f7233188d179..226aeeb727f059a2415a991884291dcde558edf7 100644 (file)
--- a/lib/base.php
+++ b/lib/base.php
@@ -292,6 +292,9 @@ class OC {
         */
        public static function checkUpgrade($showTemplate = true) {
                if (\OCP\Util::needUpgrade()) {
+                       if (function_exists('opcache_reset')) {
+                               opcache_reset();
+                       }
                        $systemConfig = \OC::$server->getSystemConfig();
                        if ($showTemplate && !$systemConfig->getValue('maintenance', false)) {
                                self::printUpgradePage();