Terminates a process and all its descendants on POSIX.
SIGTERMs the process group, waits up to timeout_seconds for it to
disappear, then SIGKILLs whatever remains. killpg reaches every descendant
atomically, even ones whose parent already exited; daemonizers that left
the group escape by design. A group only disappears once every member is
dead and reaped, so a client running as PID 1 should reap orphans (e.g.
docker run --init) or the wait below runs its full timeout.
Source code in src/mcp/os/posix/utilities.py
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52 | async def terminate_posix_process_tree(process: Process, timeout_seconds: float = 2.0) -> None:
"""Terminates a process and all its descendants on POSIX.
SIGTERMs the process group, waits up to timeout_seconds for it to
disappear, then SIGKILLs whatever remains. killpg reaches every descendant
atomically, even ones whose parent already exited; daemonizers that left
the group escape by design. A group only disappears once every member is
dead and reaped, so a client running as PID 1 should reap orphans (e.g.
docker run --init) or the wait below runs its full timeout.
"""
# The leader's pid is the pgid (start_new_session). Never use getpgid():
# it fails once the leader is reaped, even with live members left.
pgid = process.pid
try:
os.killpg(pgid, signal.SIGTERM)
except ProcessLookupError:
return # the whole group is already gone
except PermissionError:
# EPERM never proves the group is gone (macOS raises it for zombie or
# foreign-euid members), so keep waiting and escalating.
logger.warning(
"No permission to signal some of process group %d; waiting for it to exit anyway", pgid, exc_info=True
)
with anyio.move_on_after(timeout_seconds):
while _group_alive(pgid):
# Reading returncode reaps the leader on trio; a zombie leader would
# otherwise keep the group alive for the full timeout.
_ = process.returncode
await anyio.sleep(_GROUP_POLL_INTERVAL)
return
# ESRCH: died since the last probe. EPERM: we killed what we were allowed to.
with suppress(ProcessLookupError, PermissionError):
os.killpg(pgid, signal.SIGKILL)
|