public interface SessionIdManager extends LifeCycle
LifeCycle.Listener
Modifier and Type | Method and Description |
---|---|
void |
addSession(javax.servlet.http.HttpSession session)
Add a session to the list of known sessions for a given ID.
|
String |
getClusterId(String nodeId)
Get a cluster ID from a node ID.
|
String |
getNodeId(String clusterId,
javax.servlet.http.HttpServletRequest request)
Get a node ID from a cluster ID and a request
|
String |
getWorkerName() |
boolean |
idInUse(String id) |
void |
invalidateAll(String id)
Call
HttpSession.invalidate() on all known sessions for the given id. |
String |
newSessionId(javax.servlet.http.HttpServletRequest request,
long created)
Create a new Session ID.
|
void |
removeSession(javax.servlet.http.HttpSession session)
Remove session from the list of known sessions for a given ID.
|
void |
renewSessionId(String oldClusterId,
String oldNodeId,
javax.servlet.http.HttpServletRequest request)
Change the existing session id.
|
addLifeCycleListener, isFailed, isRunning, isStarted, isStarting, isStopped, isStopping, removeLifeCycleListener, start, stop
boolean idInUse(String id)
id
- The session ID without any cluster node extensionvoid addSession(javax.servlet.http.HttpSession session)
session
- The sessionvoid removeSession(javax.servlet.http.HttpSession session)
session
- the session to removevoid invalidateAll(String id)
HttpSession.invalidate()
on all known sessions for the given id.id
- The session ID without any cluster node extensionString newSessionId(javax.servlet.http.HttpServletRequest request, long created)
request
- the request with the sesioncreated
- the timestamp for when the session was createdString getWorkerName()
String getClusterId(String nodeId)
nodeId
- the node idString getNodeId(String clusterId, javax.servlet.http.HttpServletRequest request)
clusterId
- The ID of the sessionrequest
- The request that for the session (or null)Copyright © 1995-2015 Webtide. All Rights Reserved.