re-added child-exited handler of gdb-terminal

[pygdb.git] / DbgTerminal.py

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)
-               self.connect("eof", lambda *w: gtk.main_quit())
+               self.connect("child-exited", lambda *w: gtk.main_quit())
 
 
        def contents_changed(self, term):
@@ -134,7 +134,8 @@ class DbgWindow (gtk.Window):
 
        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