diff options
| author | Andreas Gohr <andi@splitbrain.org> | 2014-01-06 21:15:50 +0100 |
|---|---|---|
| committer | Andreas Gohr <andi@splitbrain.org> | 2014-01-06 21:15:50 +0100 |
| commit | d8cf4dd43ecd37c371acf9bc6c17998b65d42ba4 (patch) | |
| tree | 5cc8b8f21afdf6711746dc00dfdccce0f119257f /inc/io.php | |
| parent | ebec603febbe7426fbb12cbb4fd3cb42128fcbf8 (diff) | |
| download | rpg-d8cf4dd43ecd37c371acf9bc6c17998b65d42ba4.tar.gz rpg-d8cf4dd43ecd37c371acf9bc6c17998b65d42ba4.tar.bz2 | |
treat non-existing files as success on delete
Diffstat (limited to 'inc/io.php')
| -rw-r--r-- | inc/io.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/inc/io.php b/inc/io.php index 30f34ad3c..892f93759 100644 --- a/inc/io.php +++ b/inc/io.php @@ -410,6 +410,7 @@ function io_mkdir_p($target){ */ function io_rmdir($path, $removefiles = false) { if(!is_string($path) || $path == "") return false; + if(!file_exists($path)) return true; // it's already gone or was never there, count as success if(is_dir($path) && !is_link($path)) { $dirs = array(); |