This repository was archived by the owner on Apr 21, 2026. It is now read-only.
v1175: Merge pull request #1561 from zendesk/grosser/record-pid
remove stored pid when process is finished so we do not kill a dead p…
remove stored pid when process is finished so we do not kill a dead p…