Module process 

Owned processes: every child is spawned through rightkit-process (process group / Job Object), registered with a Tracker, and killed by recorded pid only. Nothing here ever matches processes by name for killing.

Structs

Output

RunOptions

Tracker

Registry of every pid a run started, so the run can assert nothing leaked.

Functions

fingerprint

ps command line for a pid (unix); the fingerprint that makes a recorded pid safe to kill later without risking an unrelated process that reused it.

is_alive

kill_tree

Terminate pid and its descendants. TERM first, KILL after a short grace.

run_owned

Run to completion with a hard deadline; on timeout the whole tree is killed.

sweep_registries

Kill processes recorded by earlier runs that are still alive AND still have the exact command line that was recorded. Returns the pids killed.