From 459e9de81a5168a9474cbd9e55583da7e8b19788 Mon Sep 17 00:00:00 2001 From: Nicholas Marriott Date: Wed, 2 Dec 2009 15:06:14 +0000 Subject: [PATCH] Close the pane if the process died due to a signal, not just if it exited normally. --- server.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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); } }