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

[lhc/web/www.git] / www / ecrire / exec / admin_plugin.php

diff --git a/www/ecrire/exec/admin_plugin.php b/www/ecrire/exec/admin_plugin.php
index 8214d86..e2abf8c 100644 (file)
--- a/www/ecrire/exec/admin_plugin.php
+++ b/www/ecrire/exec/admin_plugin.php
@@ -3,7 +3,7 @@
 /***************************************************************************\
  *  SPIP, Systeme de publication pour l'internet                           *
  *                                                                         *
- *  Copyright (c) 2001-2017                                                *
+ *  Copyright (c) 2001-2019                                                *
  *  Arnaud Martin, Antoine Pitrou, Philippe Riviere, Emmanuel Saint-James  *
  *                                                                         *
  *  Ce programme est un logiciel libre distribue sous licence GNU/GPL.     *
@@ -48,6 +48,10 @@ function exec_admin_plugin_dist($retour = '') {
                $new = actualise_plugins_actifs();
                if ($new and _request('actualise') < 2) {
                        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']);
+                       }
                        redirige_par_entete(parametre_url(self(), 'actualise', _request('actualise') + 1, '&'));
                } else {
                        admin_plug_args(_request('voir'), _request('erreur'), _request('format'));