cleanup when uzbl quits
authoruranther <jwheaton@purdue.edu>
Wed, 10 Jun 2009 22:32:52 +0000 (18:32 -0400)
committeruranther <jwheaton@purdue.edu>
Wed, 10 Jun 2009 22:32:52 +0000 (18:32 -0400)
uzbl.c

diff --git a/uzbl.c b/uzbl.c
index b2fa48a..3b6de7c 100644 (file)
--- a/uzbl.c
+++ b/uzbl.c
@@ -577,6 +577,7 @@ destroy_cb (GtkWidget* widget, gpointer data) {
     (void) widget;
     (void) data;
     gtk_main_quit ();
+    clean_up();
 }
 
 static void
@@ -892,6 +893,7 @@ close_uzbl (WebKitWebView *page, GArray *argv) {
     (void)page;
     (void)argv;
     gtk_main_quit ();
+    clean_up();
 }
 
 /* --Statusbar functions-- */