diff --git a/lib/plugins-manager.php b/lib/plugins-manager.php index b6eda70..b103999 100644 --- a/lib/plugins-manager.php +++ b/lib/plugins-manager.php @@ -174,7 +174,7 @@ function deletePlugin($dir) { chdir('.'); deletePlugin($dir.$file.'/'); if(is_dir($dir.$file)) { - rmdir($dir.$file) or DIE("couldn't delete dir: $dir$file
"); + rmdir($dir.$file);// or DIE("couldn't delete dir: $dir$file
"); } } else