This makes us very UNIX dependent (as if we weren't before anyway), but we now specifically send a SIGHUP to the child of a terminal when that terminal is explicitly close()d

terminatorlib/notebook.py

@@ -200,7 +200,6 @@ class Notebook(Container, gtk.Notebook):
                 while len(objects) > 0:
                     descendant = objects.pop()
                     descendant.close()
-                    # FIXME: Is this mainloop iterations stuff necessary?
                     while gtk.events_pending():
                         gtk.main_iteration()
                 return

terminatorlib/terminal.py

@@ -5,6 +5,7 @@
 
 import sys
 import os
+import signal
 import pygtk
 pygtk.require('2.0')
 import gtk
@@ -164,6 +165,7 @@ class Terminal(gtk.VBox):
         """Close ourselves"""
         dbg('Terminal::close: emitting close-term')
         self.emit('close-term')
+        os.kill(self.pid, signal.SIGHUP)
 
     def create_terminalbox(self):
         """Create a GtkHBox containing the terminal and a scrollbar"""