Complement de http://core.spip.org/projects/spip/repository/revisions/24083

5 years ago · e84e04d38b
parent 0b0073ac91
commit e84e04d38b
1 changed files with 4 additions and 0 deletions
--- a/exec/admin_plugin.php
+++ b/exec/admin_plugin.php
@ -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;
 	}