closes #764

CCI-Tools · Sep 24, 2018 · 9e2dd00 · 9e2dd00
1 parent e2dfa83
commit 9e2dd00
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cate/core/wsmanag.py b/cate/core/wsmanag.py
@@ -253,7 +253,7 @@ def save_workspace_as(self, base_dir: str, to_dir: str,
             # If it was a scratch workspace, delete the original
             if workspace.is_scratch:
                 try:
-                    shutil.rmtree(base_dir)
+                    shutil.rmtree(base_dir, ignore_errors=True)
                 except (PermissionError, OSError):
                     pass
             monitor.progress(work=5)