Fix minor bug for softlinks pointing to directories during clean

2022-03-11 15:38:00 +01:00 · 2022-03-11 15:38:00 +01:00 · 882bfa4393
parent c9665f68dc
commit 882bfa4393
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -95,7 +95,7 @@ def clean_work():
    for x in (set(os.listdir('work')) - WORK_CLEAN):
        x = os.path.join('work', x)
        log.debug('removing %s', x)
-        if os.path.isdir(x):
+        if os.path.isdir(x) and not os.path.islink(x):
            shutil.rmtree(x)
        else:
            os.unlink(x)