# HG changeset patch
# User casties
# Date 1477413725 -7200
# Node ID 69c233694e765adfa25b7c0a6989059862962e66
# Parent  c9a411c8f742fb6dbc4b9173022e93d12b5f455f
add destroy method in spring bean declaration (is this necessary?).

diff -r c9a411c8f742 -r 69c233694e76 src/main/resources/openmind-context.xml
--- a/src/main/resources/openmind-context.xml	Tue Oct 25 18:32:16 2016 +0200
+++ b/src/main/resources/openmind-context.xml	Tue Oct 25 18:42:05 2016 +0200
@@ -65,7 +65,8 @@
         
     </bean>
         
-    <bean class="org.springframework.scheduling.quartz.SchedulerFactoryBean">
+    <bean class="org.springframework.scheduling.quartz.SchedulerFactoryBean"
+        destroy-method="destroy">
         <property name="triggers">
             <list>
                 <ref bean="schedulingCronTrigger"/>