Mirrors/ICEcoder
2
0
Fork 0
mirror of https://github.com/icecoder/ICEcoder.git synced 2026-03-07 09:06:48 +01:00
Code Issues Packages Projects Releases Wiki Activity

Don't die if dir isn't deleted

Browse Source 
If we fail to rmdir (perhaps a permission problem), don't die. This
silently continues and does leave empty folders behind, but stops things
from breaking until the solution is really found.
This commit is contained in:
Matt Pass
2014-06-25 12:49:29 +01:00
parent a55102106e
commit b0fd03f571
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
lib/plugins-manager.php
View File

@@ -174,7 +174,7 @@ function deletePlugin($dir) {
chdir('.');
deletePlugin($dir.$file.'/');
if(is_dir($dir.$file)) {
rmdir($dir.$file) or DIE("<span style='color: #fff'>couldn't delete dir: $dir$file</span><br />");
rmdir($dir.$file);// or DIE("<span style='color: #fff'>couldn't delete dir: $dir$file</span><br />");
}
}
else