From cc258fb5ee53d2d9a50c684b76633f5db74c64a8 Mon Sep 17 00:00:00 2001
From: j <j@mailb.org>
Date: Thu, 19 Nov 2015 18:40:42 +0100
Subject: [PATCH] more debugging

---
 oml/gtkwebkit.py | 5 -----
 oml/server.py    | 6 ++++++
 2 files changed, 6 insertions(+), 5 deletions(-)

diff --git a/oml/gtkwebkit.py b/oml/gtkwebkit.py
index 88d6648..925a07f 100755
--- a/oml/gtkwebkit.py
+++ b/oml/gtkwebkit.py
@@ -13,11 +13,6 @@ base = dirname(dirname(dirname(abspath(__file__))))
 icon = os.path.join(base, 'openmedialibrary/static/png/oml.png')
 title = "Open Media Library"
 
-def drop_cb(wid, context, x, y, time):
-    print([str(t) for t in context.targets])
-    context.finish(True, False, time)
-    return True
-
 def on_key_press_event(widget, event):
     if event.state & Gdk.ModifierType.CONTROL_MASK and event.keyval == 113:
         Gtk.main_quit()
diff --git a/oml/server.py b/oml/server.py
index 8af6ce1..3c78a6b 100644
--- a/oml/server.py
+++ b/oml/server.py
@@ -118,15 +118,21 @@ def run():
 
     def shutdown():
         if state.downloads:
+            logger.debug('shutdown downloads')
             state.downloads.join()
         if state.scraping:
+            logger.debug('shutdown scraping')
             state.scraping.join()
+        logger.debug('shutdown http_server')
         http_server.stop()
         if state.tasks:
+            logger.debug('shutdown tasks')
             state.tasks.join()
         if state.nodes:
+            logger.debug('shutdown nodes')
             state.nodes.join()
         if PID and os.path.exists(PID):
+            logger.debug('remove %s', PID)
             os.unlink(PID)
 
     signal.signal(signal.SIGTERM, shutdown)