[jhbuild: 47/60] [gui] force exit when called as jhbuild gui

[Frederic Peters <fpeters src gnome org>]

commit bd4b479c8c4f53f0eb079f4bd6d389d313fba25a
Author: Frédéric Péters <fpeters 0d be>
Date:   Sun May 24 11:06:17 2009 +0200

    [gui] force exit when called as jhbuild gui
---
 jhbuild/frontends/gtkui.py |    5 +++--
 1 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/jhbuild/frontends/gtkui.py b/jhbuild/frontends/gtkui.py
index af57427..6d1fbfb 100644
--- a/jhbuild/frontends/gtkui.py
+++ b/jhbuild/frontends/gtkui.py
@@ -119,10 +119,11 @@ class AppWindow(gtk.Window, buildscript.BuildScript):
     def on_delete_event(self, *args):
         self.quit = True
         self.hide()
-        if gtk.main_level():
-            gtk.main_quit()
         if self.child_pid:
             os.kill(self.child_pid, signal.SIGKILL)
+        if gtk.main_level():
+            gtk.main_quit()
+            sys.exit(0)
 
     def create_ui(self):
         self.set_border_width(5)