shuki 6a0389f437 Use SIGKILL and os.getpgid for reliable job killing ...

SIGTERM was being ignored by child processes. Use SIGKILL via the
actual process group ID, with proc.kill() as fallback.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

2026-03-06 18:16:09 +02:00

3.2 KiB

Raw Blame History

View Raw