From 1ad29cad9291f7340f55416c09dfe0f2ee9c6dfc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?H=C3=A5vard=20Berland?= Date: Tue, 10 Sep 2024 15:22:30 +0200 Subject: [PATCH] Avoid crashing while cleaning up tmp-directory --- src/ert/plugins/plugin_manager.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ert/plugins/plugin_manager.py b/src/ert/plugins/plugin_manager.py index 479f9e3f1b7..cfa9bf1cc1e 100644 --- a/src/ert/plugins/plugin_manager.py +++ b/src/ert/plugins/plugin_manager.py @@ -391,4 +391,4 @@ def __exit__( self._reset_environment() logger.debug("Deleting temporary directory for site-config") if self.tmp_dir is not None: - shutil.rmtree(self.tmp_dir) + shutil.rmtree(self.tmp_dir, ignore_errors=True)