String cluster_id=getClusterId(requested_id); if (idInUse(cluster_id)) return cluster_id; if (new_id!=null&&idInUse(new_id)) return new_id; while (id==null||id.length()==0||idInUse(id))
if (_sessionIdManager==null) _sessionIdManager=new HashSessionIdManager(); server.setSessionIdManager(_sessionIdManager);
public void addSession(HttpSession session) { synchronized (this) { _sessions.add(getClusterId(session.getId()),session); } }
SessionIdManager sessionIdManager = new HashSessionIdManager(new Random(System.currentTimeMillis())); webServer.setSessionIdManager(sessionIdManager);
public void removeSession(HttpSession session) { synchronized (this) { _sessions.removeValue(getClusterId(session.getId()),session); } }
SessionIdManager sessionIdManager = new HashSessionIdManager(new Random(System.currentTimeMillis())); webServer.setSessionIdManager(sessionIdManager);
sessionManager.setIdManager(new HashSessionIdManager()); sessionHandler.setSessionManager(sessionManager); sessionHandler.setHandler(handler);
sessionManager.setIdManager(new HashSessionIdManager()); sessionHandler.setSessionManager(sessionManager); sessionHandler.setHandler(handler);