diff options
| author | William Hubbs <w.d.hubbs@gmail.com> | 2017-10-26 12:58:59 -0500 |
|---|---|---|
| committer | William Hubbs <w.d.hubbs@gmail.com> | 2017-10-26 12:58:59 -0500 |
| commit | 667a09983ca5311824aa88c42d39a495c540fc4c (patch) | |
| tree | c7c02794b8f6cbfccb256b9a97627c047fcb8ffe /scripts | |
| parent | cf429ee359356d736c818e8b35db8fca887e7332 (diff) | |
supervise-daemon: remove child_pid from saved options during shutdown
This allows us to detect when the supervisor dies unexpectedly because
in that case child_pid will still exist.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions