diff options
author | Ross Lagerwall <rosslagerwall@gmail.com> | 2013-06-09 17:28:44 +0100 |
---|---|---|
committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-06-09 18:26:41 -0400 |
commit | 62220cf70e381f6e08390523e4696f7bc431f927 (patch) | |
tree | 6decdf5f9e9ea2b813104f70f8176429a3876c8e /make-man-rules.py | |
parent | 7085053a437456ab87d726f3697002dd811fdf7a (diff) |
service: don't report alien child as alive when it's not
When a sigchld is received from an alien child, main_pid is set to
0 then service_enter_running calls main_pid_good to check if the
child is running. This incorrectly returned true because
kill(main_pid, 0) would return >= 0.
This fixes an error where a service would die and the cgroup would
become empty but the service would still report as active (running).
Diffstat (limited to 'make-man-rules.py')
0 files changed, 0 insertions, 0 deletions