This repository was archived by the owner on Apr 21, 2026. It is now read-only.
v1054: Merge pull request #1437 from zendesk/grosser/kill
kill processes early if getting the gpid fails, since the UI will not be able to shut them down