Repository navigation

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

Merged

jendrikseipp merged 4 commits into

mainfrom

fix-kill-process-group

May 2, 2026

Merged

Fix process group termination: always send SIGKILL after SIGTERM#151
jendrikseipp merged 4 commits into
mainfrom
fix-kill-process-group

Commits on Apr 7, 2026
- Fix process group termination: always send SIGKILL after SIGTERM
  Travis Rivera Petit
  committed
  c7a5c6c
- Fix formatting
  Travis Rivera Petit
  committed
  04056f3
Commits on May 2, 2026
- Don't kill processes that already exited.
  jendrikseipp
  committed
  b08cbda
- Add changelog entry.
  jendrikseipp
  committed
  5b35e31