We have an update on this and you can configure it now, sorry for the inconvenience, we’ll get the doc updated on it.
It is configurable in conf/Manager.xml through a property. The property name is sessionTimeout, type Integer units of minutes. The default is 30 minutes. Setting the value to zero will disable session timeouts.
WMSLoggerFactory.getLogger(SessionTimeoutFilter.class).info("SesssionTimeoutFilter.init: Session timeout: "+(this.timeout <= 0?"disabled":this.timeout+" minute(s)"));
WMSLoggerFactory.getLogger(SessionTimeoutFilter.class).info("SesssionTimeoutFilter.init: Session skipURLPatterns: "+Arrays.toString(this.skipURLPatterns));
WMSLoggerFactory.getLogger(SessionTimeoutFilter.class).info("SesssionTimeoutFilter.init: Session redirectURL: "+this.redirectURL);
The values are logged at WSEM startup