From 8cd671c207ec1f98e31fb341d8dfc0162d944fb4 Mon Sep 17 00:00:00 2001 From: kondou Date: Sun, 28 Jul 2013 16:33:03 +0200 Subject: [PATCH] Also clean PHP 5.5 opcache --- lib/util.php | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/lib/util.php b/lib/util.php index 2586ad28320..1f666a5e37f 100755 --- a/lib/util.php +++ b/lib/util.php @@ -871,6 +871,10 @@ class OC_Util { if (function_exists('xcache_clear_cache')) { xcache_clear_cache(XC_TYPE_VAR, 0); } + // Opcache (PHP >= 5.5) + if (function_exists('opcache_reset')) { + opcache_reset(); + } } /** -- 2.39.5