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 /sh/binfmt.sh.in | |
| 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 'sh/binfmt.sh.in')
0 files changed, 0 insertions, 0 deletions