From 63ef550e45463a7c4189ad98be7db7c746ac57ff Mon Sep 17 00:00:00 2001 From: Marcos Pinto Date: Tue, 7 Aug 2007 10:02:59 +0000 Subject: [PATCH] finally catch gnome logoff and quit properly --- src/interface.py | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/src/interface.py b/src/interface.py index 5078e341d..f7d9dd41c 100644 --- a/src/interface.py +++ b/src/interface.py @@ -133,6 +133,14 @@ class DelugeGTK: if self.config.get("send_info"): send_info() + try: + import gnome.ui + except: + pass + else: + self.client = gnome.ui.Client() + self.client.connect("save_yourself", self.manager.quit) + signal.signal(signal.SIGINT, self.manager.quit) signal.signal(signal.SIGTERM, self.manager.quit) signal.signal(signal.SIGHUP, self.manager.quit)