Changeset 28891 for main

Timestamp:

2014-03-13T14:38:52+13:00 (10 years ago)

Author:

kjdon

Message:

added a placeholder Manager element and comment. using only default values so doesn't change anything with regards to having no Manager specified, but gives us somewhere to start from if we do want to change the Manager

File:

• main/trunk/greenstone3/resources/tomcat/greenstone3.xml (modified) (1 diff)

main/trunk/greenstone3/resources/tomcat/greenstone3.xml

@@ -16 +16 @@
         userRoleTable="roles" roleNameCol="role"
         />
+    <!-- Session Manager. Default values are used. See
+         packages/tomcat/webapps/docs/config/manager.html for more info.
+         Pathname may be absolute, or relative to greenstone3 context work 
+         directory: packages/tomcat/work/Catalina/localhost/greenstone3.
+         Set pathname="" to disable storing session info between restarts. 
+         To manually clear session info, stop Tomcat and delete the session
+         file. -->
+    <Manager pathname="SESSIONS.ser" />
 </Context>