From 1560e33cbe758b5c2c97fb692ab484ff99e3568d Mon Sep 17 00:00:00 2001
From: Elmar Ludwig <elmar.ludwig@uni-osnabrueck.de>
Date: Mon, 7 Feb 2022 12:53:55 +0100
Subject: [PATCH] try to work around problems with opcache.revalidate_freq on
plugin updates, fixes #569
---
lib/classes/PluginAdministration.php | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/lib/classes/PluginAdministration.php b/lib/classes/PluginAdministration.php
index 8a3dda5bc5e..45c235b4da3 100644
--- a/lib/classes/PluginAdministration.php
+++ b/lib/classes/PluginAdministration.php
@@ -119,6 +119,10 @@ 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);
--
GitLab