diff --git a/server.c b/server.c index b3979596..60090d5e 100644 --- a/server.c +++ b/server.c @@ -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); } }