From 7d3e27bd39e7f20175c1aac4bdf9f0c2c4bafe72 Mon Sep 17 00:00:00 2001
From: uranther <jwheaton@purdue.edu>
Date: Wed, 10 Jun 2009 18:32:52 -0400
Subject: [PATCH] cleanup when uzbl quits

---
 uzbl.c |    2 ++
 1 file changed, 2 insertions(+)

diff --git a/uzbl.c b/uzbl.c
index b2fa48a..3b6de7c 100644
--- 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-- */
-- 
1.7.9.5