re-added child-exited handler of gdb-terminal
[pygdb.git] / GdbTerminal.py
index 79daf702307a5ea72835a8bf81006fc8ff072c34..3ced460da3f2146ae6b405e4216b6f5c9b1588c0 100755 (executable)
@@ -62,6 +62,7 @@ if __name__ == "__main__":
        dbgwnd = DbgTerminal.DbgWindow(dbgterm)
 
        DbgTerminal.launchDebugger(dbgwnd, dbgterm)
+       gtk.main()