diff --git a/ecrire/action/desinstaller_plugin.php b/ecrire/action/desinstaller_plugin.php index ba03d64050e6a88481523fdea8a211924b0a2a86..08b0f53a2b60db108bda89273ecb2bc87b62be35 100644 --- a/ecrire/action/desinstaller_plugin.php +++ b/ecrire/action/desinstaller_plugin.php @@ -23,7 +23,7 @@ function action_desinstaller_plugin_dist() { // desinstaller $etat = desinstalle_un_plugin($plug_file,$infos); // desactiver si il a bien ete desinstalle - if (!$etat) + if ($etat) ecrire_plugin_actifs(array($plug_file),false,'enleve'); } if ($redirect = _request('redirect')){