_logger.log(Level.INFO, "webcontainer.filePersistence", ctx.getPath());
}
super.initializePersistenceStrategy(ctx, smBean, serverConfigLookup);
PersistentManager mgr = new PersistentManager();
mgr.setMaxActiveSessions(maxSessions);
mgr.setMaxIdleBackup(0); // FIXME: Make configurable
FileStore store = new FileStore();
store.setDirectory(directory);
mgr.setStore(store);
//START OF 6364900
mgr.setSessionLocker(new PESessionLocker(ctx));
//END OF 6364900
ctx.setManager(mgr);
if(!((StandardContext)ctx).isSessionTimeoutOveridden()) {
mgr.setMaxInactiveInterval(sessionMaxInactiveInterval);
}
// Special code for Java Server Faces
if (ctx.findParameter(JSF_HA_ENABLED) == null) {
ctx.addParameter(JSF_HA_ENABLED, "true");