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, setWorkerNameaddLifeCycleListener, doStop, getState, getState, getStopTimeout, isFailed, isRunning, isStarted, isStarting, isStopped, isStopping, removeLifeCycleListener, setStopTimeout, start, stopprotected 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 AbstractSessionIdManagerpublic 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.