[jhbuild: 16/60] [gui] force quit on window close

[Frederic Peters <fpeters src gnome org>]

commit 47bd180fb0bd6b9a03d28aba261f5bc080414c17
Author: Frédéric Péters <fpeters 0d be>
Date:   Sun May 17 00:19:04 2009 +0200

    [gui] force quit on window close
---
 jhbuild/frontends/gtkui.py |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/jhbuild/frontends/gtkui.py b/jhbuild/frontends/gtkui.py
index 3bf856e..53754b6 100644
--- a/jhbuild/frontends/gtkui.py
+++ b/jhbuild/frontends/gtkui.py
@@ -96,6 +96,7 @@ class AppWindow(gtk.Window, buildscript.BuildScript):
 
     def on_delete_event(self, *args):
         gtk.main_quit()
+        sys.exit(0)
 
     def create_ui(self):
         self.set_border_width(5)