[SPIP] v3.2.1-->v3.2.3

[lhc/web/www.git] / www / plugins-dist / svp / exec / admin_plugin.php

diff --git a/www/plugins-dist/svp/exec/admin_plugin.php b/www/plugins-dist/svp/exec/admin_plugin.php
index fcb206c..be46e0e 100644 (file)
--- a/www/plugins-dist/svp/exec/admin_plugin.php
+++ b/www/plugins-dist/svp/exec/admin_plugin.php
@@ -3,7 +3,7 @@
 /***************************************************************************\
  *  SPIP, Systeme de publication pour l'internet                           *
  *                                                                         *
- *  Copyright (c) 2001-2016                                                *
+ *  Copyright (c) 2001-2019                                                *
  *  Arnaud Martin, Antoine Pitrou, Philippe Riviere, Emmanuel Saint-James  *
  *                                                                         *
  *  Ce programme est un logiciel libre distribue sous licence GNU/GPL.     *
@@ -55,6 +55,10 @@ function exec_admin_plugin_dist() {
        if ($new and _request('actualise') < 2) {
                $url = parametre_url(self(), 'actualise', _request('actualise') + 1, '&');
                include_spip('inc/headers');
+               if (isset($GLOBALS['fichier_php_compile_recent'])) {
+                       // attendre eventuellement l'invalidation du cache opcode
+                       spip_attend_invalidation_opcode_cache($GLOBALS['fichier_php_compile_recent']);
+               }
                echo redirige_formulaire($url);
                exit;
        }