From: NeilBrown <neilb@suse.de>
Date: Fri, 25 Jan 2013 02:24:33 +0000 (+1100)
Subject: term: close app when child shell dies.
X-Git-Url: http://git.neil.brown.name/?a=commitdiff_plain;h=b3341981e140d154aa1cc64eeb1c699a60ad5c4f;p=plato.git

term: close app when child shell dies.
---

diff --git a/utils/term.py b/utils/term.py
index 017876c..b0bb00c 100644
--- a/utils/term.py
+++ b/utils/term.py
@@ -14,7 +14,7 @@ import time
 class Terminal(gtk.Window):
     def __init__(self):
         gtk.Window.__init__(self)
-        self.connect("destroy", lambda(ev):gtk.main_quit())
+        self.connect("destroy", self.close_app)
         self.set_title("Terminal")
 
         v = gtk.VBox()
@@ -30,6 +30,7 @@ class Terminal(gtk.Window):
         v.pack_start(term, expand=True)
         term.fork_command()
         term.set_scroll_on_keystroke(True)
+        term.connect("child-exited", self.close_app)
 
         h = term.get_char_height()
         print h
@@ -41,6 +42,9 @@ class Terminal(gtk.Window):
 
         t.connect('key', lambda t,str: term.feed_child(str))
 
+    def close_app(self, *x):
+        gtk.main_quit()
+
 
 if __name__ == "__main__":
     t = Terminal()