Lines Matching refs:Kill
749 def Kill(pid):
757 os.kill(pid, signal.SIGTERM)
1039 # Windows does not support os.kill until Python 2.7.
1044 # Does not actually kill the process
1045 os.kill(int(_BROWSER_PID), 0)
3970 pid: the process id of the renderer to kill
