public class GigaSessionIdManager extends AbstractSessionIdManager
Modifier and Type | Field and Description |
---|---|
protected org.eclipse.jetty.server.Server |
_server |
protected GigaSpace |
gigaSpace |
_random, _weakRandom, _workerName, SESSION_ID_RANDOM_ALGORITHM, SESSION_ID_RANDOM_ALGORITHM_ALT
Constructor and Description |
---|
GigaSessionIdManager(org.eclipse.jetty.server.Server server) |
Modifier and Type | Method and Description |
---|---|
void |
addSession(javax.servlet.http.HttpSession session) |
void |
doStart()
Start up the id manager.
|
String |
getClusterId(String nodeId) |
String |
getNodeId(String clusterId,
javax.servlet.http.HttpServletRequest request) |
GigaSpace |
getSpace() |
boolean |
idInUse(String id) |
protected void |
initSpace() |
void |
invalidateAll(String id) |
void |
removeSession(javax.servlet.http.HttpSession session) |
void |
renewSessionId(String oldClusterId,
String oldNodeId,
javax.servlet.http.HttpServletRequest request) |
void |
setSpace(GigaSpace gigaSpace) |
getRandom, getWorkerName, initRandom, newSessionId, setRandom, setWorkerName
addLifeCycleListener, doStop, getState, getState, isFailed, isRunning, isStarted, isStarting, isStopped, isStopping, removeLifeCycleListener, start, stop
protected final org.eclipse.jetty.server.Server _server
protected GigaSpace gigaSpace
public GigaSessionIdManager(org.eclipse.jetty.server.Server server)
public void setSpace(GigaSpace gigaSpace)
public GigaSpace getSpace()
public void doStart()
doStart
in class AbstractSessionIdManager
public void addSession(javax.servlet.http.HttpSession session)
public void removeSession(javax.servlet.http.HttpSession session)
public void renewSessionId(String oldClusterId, String oldNodeId, javax.servlet.http.HttpServletRequest request)
public boolean idInUse(String id)
public void invalidateAll(String id)
Copyright © GigaSpaces.