diff --git a/glpi b/glpi index 21255e11de9fbf08c2de18008c831b05bff7f979..7aa16a7cd1c4f8c7628890f2e6ce58e492a77633 100755 --- a/glpi +++ b/glpi @@ -95,6 +95,8 @@ upgrade_glpi() { # Activate plugins $0 console plugin:install --username=glpi --all $0 console plugin:activate --all + # Cleanup + $cmd rm $prefix/install/install.php } action=$1