diff options
Diffstat (limited to 'lib/private/config.php')
| -rw-r--r-- | lib/private/config.php | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/lib/private/config.php b/lib/private/config.php index f0548442ab5..8bb2a5c48d1 100644 --- a/lib/private/config.php +++ b/lib/private/config.php @@ -207,8 +207,11 @@ class Config { flock($filePointer, LOCK_UN); fclose($filePointer); - // Clear the opcode cache - \OC_Util::clearOpcodeCache(); + // Try invalidating the opcache just for the file we wrote... + if (!\OC_Util::deleteFromOpcodeCache($this->configFilename)) { + // But if that doesn't work, clear the whole cache. + \OC_Util::clearOpcodeCache(); + } } } |