Merge branch 'obsd-master'

2025-09-02 05:21:10 +00:00 · 2015-12-17 00:01:08 +00:00
parent 7c94dae702 99e9a4c786
commit e0cae08c04
13 changed files with 128 additions and 41 deletions
--- a/server.c
+++ b/server.c
@ -389,7 +389,7 @@ server_child_exited(pid_t pid, int status)
 		TAILQ_FOREACH(wp, &w->panes, entry) {
 			if (wp->pid == pid) {
 				wp->status = status;
-				server_destroy_pane(wp);
+				server_destroy_pane(wp, 1);
 				break;
 			}
 		}