From 994fbd571d0a39537d4e95cda16067d9cb12aef2 Mon Sep 17 00:00:00 2001
From: Marcos Pinto <markybob@dipconsultants.com>
Date: Sun, 10 Feb 2008 00:33:54 +0000
Subject: [PATCH] keyboard interrupt call shutdown, not core.quit

---
 src/interface.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/interface.py b/src/interface.py
index 74d45f826..e0298edc6 100644
--- a/src/interface.py
+++ b/src/interface.py
@@ -1046,7 +1046,7 @@ window, please enter your password"))
             gtk.main()
             gtk.gdk.threads_leave()
         except KeyboardInterrupt:
-            self.manager.quit()
+            self.shutdown()
 
     def new_release_check(self):
         import socket