re-added child-exited handler of gdb-terminal

diff --git a/DbgTerminal.py b/DbgTerminal.py
index 51d6ce1d7026773737b639e242642d77e46bba16..73f15164c34213cbcab24a3cba6e9c2c7f21bae7 100644 (file)
--- a/DbgTerminal.py
+++ b/DbgTerminal.py
@@ -35,7 +35,7 @@ class DbgTerminal (vte.Terminal):
 
                #Set up terminal window and initialize debugger
                self.connect("cursor-moved", self.contents_changed)
 
                #Set up terminal window and initialize debugger
                self.connect("cursor-moved", self.contents_changed)

-               self.connect("eof", lambda *w: gtk.main_quit())
+               self.connect("child-exited", lambda *w: gtk.main_quit())

 
 
        def contents_changed(self, term):
 
 
        def contents_changed(self, term):


@@ -134,7 +134,8 @@ class DbgWindow (gtk.Window):
 
        def toggleClientIOWindow(self):
                if not self.clientIOWnd:
 
        def toggleClientIOWindow(self):
                if not self.clientIOWnd:

-                       self.clientIOWnd = ClientIOTerminal.ClientIOWindow(self, self.terminal.client_ptymaster)
+                       self.clientIOWnd = ClientIOTerminal.ClientIOWindow(self, \
+                                       self.terminal.client_ptymaster)

                else:
                        self.clientIOWnd.destroy()
                        self.clientIOWnd = None
                else:
                        self.clientIOWnd.destroy()
                        self.clientIOWnd = None

diff --git a/GdbTerminal.py b/GdbTerminal.py
index 79daf702307a5ea72835a8bf81006fc8ff072c34..3ced460da3f2146ae6b405e4216b6f5c9b1588c0 100755 (executable)
--- a/GdbTerminal.py
+++ b/GdbTerminal.py
@@ -62,6 +62,7 @@ if __name__ == "__main__":
        dbgwnd = DbgTerminal.DbgWindow(dbgterm)
 
        DbgTerminal.launchDebugger(dbgwnd, dbgterm)
        dbgwnd = DbgTerminal.DbgWindow(dbgterm)
 
        DbgTerminal.launchDebugger(dbgwnd, dbgterm)

+       gtk.main()