[jhbuild: 52/60] [gui] exit when window is closed, even when missing vte

[Frederic Peters <fpeters src gnome org>]

commit 04dd0cd81b84de852fa7b4e9480cda5cfcfe57fc
Author: Frédéric Péters <fpeters 0d be>
Date:   Thu Jun 4 21:07:42 2009 +0200

    [gui] exit when window is closed, even when missing vte
---
 jhbuild/frontends/gtkui.py |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)

diff --git a/jhbuild/frontends/gtkui.py b/jhbuild/frontends/gtkui.py
index 374a03d..bc9320c 100644
--- a/jhbuild/frontends/gtkui.py
+++ b/jhbuild/frontends/gtkui.py
@@ -448,6 +448,8 @@ class AppWindow(gtk.Window, buildscript.BuildScript):
                 # Allow the frontend to get a little time
                 while gtk.events_pending():
                     gtk.main_iteration()
+                    if self.quit:
+                        raise ExitRequestedException()
 
                 rlist, wlist, xlist = select.select(read_set, [], [], 0)