wxPopen.py
changeset 217 f3eb35df4d87
parent 162 bf3eac08a96b
child 224 aae70ef5af6d
--- a/wxPopen.py	Fri Aug 22 15:27:37 2008 +0200
+++ b/wxPopen.py	Fri Aug 22 15:30:09 2008 +0200
@@ -28,7 +28,7 @@
 import subprocess, ctypes
 import threading
 import os
-import signal
+from signal import SIGTERM, SIGKILL
 
     
 class outputThread(threading.Thread):
@@ -139,7 +139,7 @@
         if self.finish_callback is not None:
             self.finish_callback(self,ecode,pid)
 
-    def kill(self):
+    def kill(self,signal=SIGTERM):
         self.outt.killed = True
         self.errt.killed = True
         if wx.Platform == '__WXMSW__':
@@ -149,7 +149,7 @@
             ctypes.windll.kernel32.CloseHandle(handle)
         else:
             try:
-                os.kill(self.Proc.pid, signal.SIGTERM)
+                os.kill(self.Proc.pid, signal)
             except:
                 pass