re-added child-exited handler of gdb-terminal
-rw-r--r-- 560 ClientIOTerminal.py
-rw-r--r-- 3012 DbgTerminal.py
-rwxr-xr-x 1311 GdbTerminal.py