annotate src/main/resources/openmind.properties @ 42:a807a99a7e20

add servlet context listener to ServiceRegistry to shut down Spring bean. Can now be used as <listener> in web.xml.
author casties
date Mon, 17 Oct 2016 19:50:46 +0200
parents 8ce07918ec8a
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
4
jurzua
parents:
diff changeset
1 scheduling-path=/home/jurzua/ismi-backup
jurzua
parents:
diff changeset
2 scheduling-enable=true