Skip to content

Kill only the recorded master pid when stopping - #784

Merged
zware merged 2 commits into
python:mainfrom
stratakis:stop_master_pid
Sep 13, 2026
Merged

zware merged 2 commits into
python:mainfrom
stratakis:stop_master_pid

Restore the pgrep listing for manual cleanups

cf87d76
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-config (3.13)
succeeded Sep 10, 2026 in 46s