2008-09-23 22:28:13 +08:00
|
|
|
import py
|
|
|
|
import os, sys
|
|
|
|
|
|
|
|
if sys.platform == "win32":
|
|
|
|
try:
|
|
|
|
import ctypes
|
|
|
|
except ImportError:
|
|
|
|
def dokill(pid):
|
|
|
|
py.process.cmdexec("taskkill /F /PID %d" %(pid,))
|
|
|
|
else:
|
|
|
|
def dokill(pid):
|
|
|
|
PROCESS_TERMINATE = 1
|
|
|
|
handle = ctypes.windll.kernel32.OpenProcess(
|
2009-03-19 04:49:38 +08:00
|
|
|
PROCESS_TERMINATE, False, pid)
|
2008-09-23 22:28:13 +08:00
|
|
|
ctypes.windll.kernel32.TerminateProcess(handle, -1)
|
|
|
|
ctypes.windll.kernel32.CloseHandle(handle)
|
|
|
|
else:
|
|
|
|
def dokill(pid):
|
|
|
|
os.kill(pid, 15)
|
|
|
|
|
|
|
|
def kill(pid):
|
|
|
|
""" kill process by id. """
|
|
|
|
dokill(pid)
|