diff options
author | Thomas Adam <thomas@xteddy.org> | 2017-07-03 10:01:14 +0100 |
---|---|---|
committer | Thomas Adam <thomas@xteddy.org> | 2017-07-03 10:01:14 +0100 |
commit | 4e01036cb67e4c9297f7e220e575b52b13252352 (patch) | |
tree | ffda1cb385ecedb360a737858a4788506d5e945b /server.c | |
parent | 6fba9a39b7c747dcbd83ef0e50c84b7cd3b547c9 (diff) | |
parent | 28687f2d55fb30654a7164bf1445f47b052ea115 (diff) |
Merge branch 'obsd-master'
Diffstat (limited to 'server.c')
-rw-r--r-- | server.c | 7 |
1 files changed, 6 insertions, 1 deletions
@@ -405,7 +405,12 @@ 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, 1); + + log_debug("%%%u exited", wp->id); + wp->flags |= PANE_EXITED; + + if (window_pane_destroy_ready(wp)) + server_destroy_pane(wp, 1); break; } } |