diff options
| author | 2022-09-20 10:36:07 +0200 | |
|---|---|---|
| committer | 2022-09-20 10:36:07 +0200 | |
| commit | f56d1274c6341730726b3349711e5cf925ab643e (patch) | |
| tree | d492d1c5a163d50e8c0fef92f64cde6176ef8823 /app/Controllers/updateController.php | |
| parent | f941533b3e2b45e830e63bbad237fba53284a924 (diff) | |
Fix opcache bug during Web update (#4629)
#fix https://github.com/FreshRSS/FreshRSS/issues/4624
#fix https://github.com/FreshRSS/FreshRSS/issues/4605
Diffstat (limited to 'app/Controllers/updateController.php')
| -rw-r--r-- | app/Controllers/updateController.php | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/app/Controllers/updateController.php b/app/Controllers/updateController.php index d9b817412..675bd7def 100644 --- a/app/Controllers/updateController.php +++ b/app/Controllers/updateController.php @@ -259,6 +259,10 @@ class FreshRSS_update_Controller extends FreshRSS_ActionController { } } + if (function_exists('opcache_reset')) { + opcache_reset(); + } + if ($res === true) { Minz_Request::forward(array( 'c' => 'update', |
