fixed bug which caused dirs to not get deleted

This commit is contained in:
skilion 2015-09-28 13:42:58 +02:00
parent 9b80d99ad4
commit 10cfa83d39

View file

@ -316,13 +316,13 @@ final class SyncEngine
if (isFile(path)) { if (isFile(path)) {
remove(path); remove(path);
writeln("Deleted file: ", path); writeln("Deleted file: ", path);
} } else {
} else { try {
try { rmdir(path);
rmdir(path); writeln("Deleted directory: ", path);
writeln("Deleted dir: ", path); } catch (FileException e) {
} catch (FileException e) { // directory not empty
writeln("Keeping dir: ", path); }
} }
} }
} }