diff options
| author | kondou <kondou@ts.unde.re> | 2013-07-28 18:33:03 +0400 |
|---|---|---|
| committer | kondou <kondou@ts.unde.re> | 2013-07-28 18:33:03 +0400 |
| commit | 8cd671c207ec1f98e31fb341d8dfc0162d944fb4 (patch) | |
| tree | b90955a82a488d086ca6580d0a62ef13f56c4c85 /lib/util.php | |
| parent | fa35650e0a25502fa21153923890d693f3870621 (diff) | |
Also clean PHP 5.5 opcache
Diffstat (limited to 'lib/util.php')
| -rwxr-xr-x | lib/util.php | 4 |
1 files changed, 4 insertions, 0 deletions
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(); + } } /** |