diff options
author | Nicholas Marriott <nicm@openbsd.org> | 2009-12-02 15:06:14 +0000 |
---|---|---|
committer | Nicholas Marriott <nicm@openbsd.org> | 2009-12-02 15:06:14 +0000 |
commit | 459e9de81a5168a9474cbd9e55583da7e8b19788 (patch) | |
tree | 77dfde49d7d1330b90f5b5e93be2018ed63f831b /server.c | |
parent | 0926a2301443fad7280d1ed5ced73587faa815c8 (diff) |
Close the pane if the process died due to a signal, not just if it exited
normally.
Diffstat (limited to 'server.c')
-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); } } |