/usr/share/pyshared/pypy/sandbox/rpython/tool/killsubprocess.py is in python-pypy.sandbox 2.2.1+dfsg-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 | """Kill a subprocess created by subprocess.Popen().
The two Windows versions come from the Python cookbook.
"""
import sys, os
if sys.platform != "win32":
import signal
assert hasattr(os, 'kill')
def killsubprocess(process):
if process.poll() is None:
os.kill(process.pid, signal.SIGTERM)
else:
# on Windows, we need either win32api or ctypes
try:
import ctypes
TerminateProcess = ctypes.windll.kernel32.TerminateProcess
except ImportError:
from win32api import TerminateProcess
def killsubprocess(process):
if process.poll() is None:
TerminateProcess(int(process._handle), -1)
|