--- a/Beremiz.py	Tue Sep 02 12:24:25 2008 +0200
+++ b/Beremiz.py	Wed Sep 03 17:28:17 2008 +0200
@@ -484,7 +484,7 @@
                     return
 
         # shutdown local runtime
-        self.local_runtime.kill()
+        self.local_runtime.kill(gently=False)
         # clear temp dir
         shutil.rmtree(self.local_runtime_tmpdir)