ignore rmtree errors

This commit is contained in:
Ronny Pfannschmidt 2018-09-28 23:09:00 +02:00
parent d76fa59b35
commit fed4f73a61
1 changed files with 1 additions and 1 deletions

View File

@ -119,7 +119,7 @@ def delete_a_numbered_dir(path):
garbage = parent.joinpath("garbage-{}".format(uuid.uuid4()))
path.rename(garbage)
shutil.rmtree(str(garbage))
shutil.rmtree(str(garbage), ignore_errors=True)
def ensure_deletable(path, consider_lock_dead_if_created_before):