Skip to content

Kill only the recorded master pid when stopping - #784

Open
stratakis wants to merge 2 commits into
python:mainfrom
stratakis:stop_master_pid
Open

Kill only the recorded master pid when stopping#784
stratakis wants to merge 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