From f2094cbed3c581a681acd86ea7da0bbd126a819a 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 f42f594794e..123a0f25457 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