Merge branch 'obsd-master'

This commit is contained in:
Thomas Adam
2017-07-03 10:01:14 +01:00
5 changed files with 53 additions and 6 deletions

View File

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