Fix process group termination: always send SIGKILL after SIGTERM#151

Merged

jendrikseipp merged 4 commits into

mainfrom

fix-kill-process-group

May 2, 2026

Commits on Apr 7, 2026

Fix process group termination: always send SIGKILL after SIGTERM
Travis Rivera Petit
committed
Fix formatting
Travis Rivera Petit
committed

Commits on May 2, 2026