--- a/Beremiz.py	Tue Aug 26 13:47:21 2008 +0200
+++ b/Beremiz.py	Tue Aug 26 15:31:09 2008 +0200
@@ -27,7 +27,6 @@
 import os, sys, getopt, wx
 import tempfile
 import shutil
-from signal import SIGKILL
 
 _local_path = os.path.split(os.path.realpath(__file__))[0]
 def Bpath(*args):
@@ -429,7 +428,7 @@
                     return
 
         # shutdown local runtime
-        self.local_runtime.kill(SIGKILL)
+        self.local_runtime.kill()
         # clear temp dir
         shutil.rmtree(self.local_runtime_tmpdir)