From 8cd671c207ec1f98e31fb341d8dfc0162d944fb4 Mon Sep 17 00:00:00 2001
From: kondou <kondou@ts.unde.re>
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 2586ad2832..1f666a5e37 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();
+ }
}
/**
--
GitLab