1 files changed, 1 insertions, 1 deletions
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);
 	}
 }