# HG changeset patch
# User casties
# Date 1476726748 -7200
# Node ID 27bf167d09f1541fb4f19f42f2357c7139a29875
# Parent  be377d5f9cc4b925dce41bf9d4bd27084aad2b13
add listener for ServiceRegistry to run Spring bean shutdown hook.

diff -r be377d5f9cc4 -r 27bf167d09f1 src/main/webapp/WEB-INF/web.xml
--- a/src/main/webapp/WEB-INF/web.xml	Thu Oct 13 19:03:03 2016 +0200
+++ b/src/main/webapp/WEB-INF/web.xml	Mon Oct 17 19:52:28 2016 +0200
@@ -75,6 +75,9 @@
     <param-value>resources.application</param-value>
   </context-param>
   <listener>
+    <listener-class>org.mpi.openmind.repository.services.ServiceRegistry</listener-class>
+  </listener>
+  <listener>
     <listener-class>com.sun.faces.config.ConfigureListener</listener-class>
   </listener>
 </web-app>
\ No newline at end of file