aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTiago Cunha <tcunha@gmx.com>2009-12-04 22:04:55 +0000
committerTiago Cunha <tcunha@gmx.com>2009-12-04 22:04:55 +0000
commit4ba8fce7ea683f5447022d5e55b0e824044b04c2 (patch)
tree71db80c38ebcbdc08ff9a09f135e50903db5eef3
parent1f7ac1e0cbf9e137315eb487022ca21a43ac6586 (diff)
downloadrtmux-4ba8fce7ea683f5447022d5e55b0e824044b04c2.tar.gz
rtmux-4ba8fce7ea683f5447022d5e55b0e824044b04c2.tar.bz2
rtmux-4ba8fce7ea683f5447022d5e55b0e824044b04c2.zip
Sync OpenBSD patchset 578:
Close the pane if the process died due to a signal, not just if it exited normally.
-rw-r--r--server.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/server.c b/server.c
index 8743453b..130cb0ee 100644
--- a/server.c
+++ b/server.c
@@ -1,4 +1,4 @@
-/* $Id: server.c,v 1.230 2009-11-28 14:50:37 tcunha Exp $ */
+/* $Id: server.c,v 1.231 2009-12-04 22:04:55 tcunha Exp $ */
/*
* Copyright (c) 2007 Nicholas Marriott <nicm@users.sourceforge.net>
@@ -449,7 +449,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);
}
}