From b3341981e140d154aa1cc64eeb1c699a60ad5c4f Mon Sep 17 00:00:00 2001
From: NeilBrown <neilb@suse.de>
Date: Fri, 25 Jan 2013 13:24:33 +1100
Subject: [PATCH] term: close app when child shell dies.

---
 utils/term.py | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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()
-- 
2.39.5