# HG changeset patch
# User robcast
# Date 1292543160 -3600
# Node ID c71d44411bd2afd31f923f2878800bd2eb58aa6d
# Parent  61f88b411d6392b893afc7ef026e8ed33b0f5c9b
clean up thread pools

diff -r 61f88b411d63 -r c71d44411bd2 servlet/src/digilib/servlet/Initialiser.java
--- a/servlet/src/digilib/servlet/Initialiser.java	Fri Dec 17 00:32:18 2010 +0100
+++ b/servlet/src/digilib/servlet/Initialiser.java	Fri Dec 17 00:46:00 2010 +0100
@@ -183,6 +183,22 @@
                 logger.error("Still running threads when shutting down image job queue: "+nrj);
             }
         }
+        if (pdfEx != null) {
+            // shut down pdf thread pool
+            List<Runnable> rj = pdfEx.shutdownNow();
+            int nrj = rj.size();
+            if (nrj > 0) {
+                logger.error("Still running threads when shutting down PDF job queue: "+nrj);
+            }
+        }
+        if (pdfImageEx != null) {
+            // shut down pdf image thread pool
+            List<Runnable> rj = pdfImageEx.shutdownNow();
+            int nrj = rj.size();
+            if (nrj > 0) {
+                logger.error("Still running threads when shutting down PDF-image job queue: "+nrj);
+            }
+        }
         super.destroy();
     }