Kill only the recorded master pid when stopping - #784

Kill only the recorded master pid when stopping#784

zware merged 2 commits into

python:mainpython/buildmaster-config:mainfrom

stratakis:stop_master_pidstratakis/buildmaster-config:stop_master_pidCopy head branch name to clipboard