sources for killproc.py [rev. unknown]
1
2
3
4
5
6
7
8
9
10
11
import py
import os, sys
def killproc(pid):
    if sys.platform == "win32":
        py.process.cmdexec("taskkill /F /PID %d" %(pid,))
    else:
        os.kill(pid, 15)