diff options
-rw-r--r-- | server.c | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -431,7 +431,7 @@ server_child_signal(void) } if (WIFSTOPPED(status)) server_child_stopped(pid, status); - else if (WIFEXITED(status)) + else if (WIFEXITED(status) || WIFSIGNALED(status)) server_child_exited(pid, status); } } |