Close the pane if the process died due to a signal, not just if it exited

normally.
This commit is contained in:
Nicholas Marriott 2009-12-02 15:06:14 +00:00
parent 0926a23014
commit 459e9de81a

View File

@ -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);
}
}