-
Christian Persch authored
When the gnome-terminal-server instance exits before it can send out our child-exited signal (for example because it crashed), assume that the child process was terminated too, and terminate the wait. #16
23245b02
When the gnome-terminal-server instance exits before it can send out our child-exited signal (for example because it crashed), assume that the child process was terminated too, and terminate the wait. #16