aboutsummaryrefslogtreecommitdiff
path: root/lib/classes/PluginAdministration.php
diff options
context:
space:
mode:
authorElmar Ludwig <elmar.ludwig@uni-osnabrueck.de>2022-08-05 19:28:15 +0000
committerElmar Ludwig <elmar.ludwig@uni-osnabrueck.de>2022-08-05 19:28:15 +0000
commit7a3b481c61225c8cc2de3f741f1716330f4bfcff (patch)
treeeb072c71bdda1a404055bfefb722f6e9950a6637 /lib/classes/PluginAdministration.php
parent97c837850a0caa2b22f0c4a5be51ec833f2bd365 (diff)
disable opcache (for this request) when updating plugin, fixes #569
Closes #569 Merge request studip/studip!866
Diffstat (limited to 'lib/classes/PluginAdministration.php')
-rw-r--r--lib/classes/PluginAdministration.php7
1 files changed, 3 insertions, 4 deletions
diff --git a/lib/classes/PluginAdministration.php b/lib/classes/PluginAdministration.php
index caf80ce..dc3f3bc 100644
--- a/lib/classes/PluginAdministration.php
+++ b/lib/classes/PluginAdministration.php
@@ -100,6 +100,9 @@ class PluginAdministration
rmdirr($plugindir_old);
rename($plugindir, $plugindir_old);
}
+
+ // avoid loading old version of the class from opcache (see ticket #569)
+ ini_set('opcache.enable', 0);
}
// move directory to final destination
@@ -119,10 +122,6 @@ class PluginAdministration
rename($tmpplugindir, $plugindir);
- // wait until opcache.revalidate_freq expires
- $revalidate_freq = min(ini_get('opcache.revalidate_freq'), 10);
- sleep($revalidate_freq);
-
// create database schema if needed
$this->createDBSchema($plugindir, $manifest, $pluginregistered);