# HG changeset patch
# User Edouard Tisserant <edouard.tisserant@gmail.com>
# Date 1724104947 -7200
# Node ID 8d82aa6e9dd9de55af2545a8259b87fbc184659b
# Parent  8cc6f56c37108c180d4c7470f15a9f474dec864f
LocalRuntime: no crash if zombie PLC prevents erasing workdir

diff -r 8cc6f56c3710 -r 8d82aa6e9dd9 LocalRuntimeMixin.py
--- a/LocalRuntimeMixin.py	Mon Aug 19 23:58:01 2024 +0200
+++ b/LocalRuntimeMixin.py	Tue Aug 20 00:02:27 2024 +0200
@@ -51,7 +51,10 @@
             # shutdown local runtime
             self.local_runtime.kill(gently=False)
             # clear temp dir
-            shutil.rmtree(self.local_runtime_tmpdir)
+            try:
+                shutil.rmtree(self.local_runtime_tmpdir)
+            except:
+                pass
 
             self.local_runtime = None