Changeset 28891

Show
Ignore:
Timestamp:
13.03.2014 14:38:52 (6 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

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • main/trunk/greenstone3/resources/tomcat/greenstone3.xml

    r28296 r28891  
    1616        userRoleTable="roles" roleNameCol="role" 
    1717        /> 
     18    <!-- Session Manager. Default values are used. See 
     19         packages/tomcat/webapps/docs/config/manager.html for more info. 
     20         Pathname may be absolute, or relative to greenstone3 context work  
     21         directory: packages/tomcat/work/Catalina/localhost/greenstone3. 
     22         Set pathname="" to disable storing session info between restarts.  
     23         To manually clear session info, stop Tomcat and delete the session 
     24         file. --> 
     25    <Manager pathname="SESSIONS.ser" /> 
    1826</Context>