closes #764

CCI-Tools · Sep 24, 2018 · e2dfa83 · e2dfa83
1 parent 5e31b4f
commit e2dfa83
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,5 +1,7 @@
 ## Version 2.0.0.dev20 (in development)
 
+* Fixed problem where workspace save-as sometimes fails on Windows [#764](https://github.com/CCI-Tools/cate/issues/764)
+
 
 ## Version 2.0.0.dev19
 

diff --git a/cate/core/wsmanag.py b/cate/core/wsmanag.py
@@ -252,7 +252,10 @@ def save_workspace_as(self, base_dir: str, to_dir: str,
             new_workspace = self.open_workspace(to_dir, monitor=monitor.child(work=50))
             # If it was a scratch workspace, delete the original
             if workspace.is_scratch:
-                shutil.rmtree(base_dir)
+                try:
+                    shutil.rmtree(base_dir)
+                except (PermissionError, OSError):
+                    pass
             monitor.progress(work=5)
             return new_workspace