skip if temporary directory could not be removed

ersilia-os · Jun 14, 2023 · 65068d4 · 65068d4
1 parent 89d9f1a
commit 65068d4
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/ersilia/serve/autoservice.py b/ersilia/serve/autoservice.py
@@ -279,7 +279,10 @@ def clean_temp_dir(self):
             if "ersilia-" in d:
                 d = os.path.join(tmp_folder, d)
                 self.logger.debug("Flushing temporary directory {0}".format(d))
-                shutil.rmtree(d)
+                try:
+                    shutil.rmtree(d)
+                except:
+                    self.logger.warning("Could not remove temporary directory {0}".format(d))
 
     def clean_docker_containers(self):
         self.logger.debug("Silencing docker containers if necessary")