beremiz

8d82aa6e9dd9
Parents 8cc6f56c3710
Children d2aecbb377ae
LocalRuntime: no crash if zombie PLC prevents erasing workdir
--- 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