SessionManager smBean,
ServerConfigLookup serverConfigLookup) {
super.initializePersistenceStrategy(ctx, smBean, serverConfigLookup);
CookiePersistentManager mgr = new CookiePersistentManager();
if (sessionFilename == null) {
mgr.setPathname(sessionFilename);
} else {
mgr.setPathname(prependContextPathTo(sessionFilename, ctx));
}
mgr.setMaxActiveSessions(maxSessions);
mgr.setCookieName(persistentCookieName);
// START OF 6364900
mgr.setSessionLocker(new PESessionLocker(ctx));
// END OF 6364900
ctx.setManager(mgr);
if (!((StandardContext)ctx).isSessionTimeoutOveridden()) {
mgr.setMaxInactiveInterval(sessionMaxInactiveInterval);
}
}