Package org.eclipse.jetty.server
Interface SessionIdManager
- All Superinterfaces:
LifeCycle
- All Known Implementing Classes:
DefaultSessionIdManager
Session ID Manager.
Manages session IDs across multiple contexts.
-
Nested Class Summary
Nested classes/interfaces inherited from interface org.eclipse.jetty.util.component.LifeCycle
LifeCycle.Listener -
Method Summary
Modifier and TypeMethodDescriptionvoidExpire all sessions on all contexts that share the same id.getExtendedId(String id, javax.servlet.http.HttpServletRequest request) Get an extended id for a session.Get just the session id from an id that includes the worker name as a suffix.Get the set of all session handlers for this nodevoidinvalidateAll(String id) Invalidate all sessions on all contexts that share the same id.booleannewSessionId(javax.servlet.http.HttpServletRequest request, long created) Create a new Session ID.renewSessionId(String oldId, String oldExtendedId, javax.servlet.http.HttpServletRequest request) Change the existing session id.voidsetSessionHouseKeeper(HouseKeeper houseKeeper) Methods inherited from interface org.eclipse.jetty.util.component.LifeCycle
addEventListener, isFailed, isRunning, isStarted, isStarting, isStopped, isStopping, removeEventListener, start, stop
-
Method Details
-
isIdInUse
- Parameters:
id- The plain session ID (ie no workername extension)- Returns:
- True if the session ID is in use by at least one context.
-
expireAll
Expire all sessions on all contexts that share the same id.- Parameters:
id- The session ID without any cluster node extension
-
invalidateAll
Invalidate all sessions on all contexts that share the same id.- Parameters:
id- the session id
-
newSessionId
Create a new Session ID.- Parameters:
request- the request with the sesioncreated- the timestamp for when the session was created- Returns:
- the new session id
-
getWorkerName
String getWorkerName()- Returns:
- the unique name of this server instance
-
getId
Get just the session id from an id that includes the worker name as a suffix. Strip node identifier from a located session ID.- Parameters:
qualifiedId- the session id including the worker name- Returns:
- the cluster id
-
getExtendedId
Get an extended id for a session. An extended id contains the workername as a suffix.- Parameters:
id- The id of the sessionrequest- The request that for the session (or null)- Returns:
- The session id qualified with the worker name
-
renewSessionId
String renewSessionId(String oldId, String oldExtendedId, javax.servlet.http.HttpServletRequest request) Change the existing session id.- Parameters:
oldId- the old plain session idoldExtendedId- the old fully qualified idrequest- the request containing the session- Returns:
- the new session id
-
getSessionHandlers
Set<SessionHandler> getSessionHandlers()Get the set of all session handlers for this node- Returns:
- the set of session handlers
-
setSessionHouseKeeper
- Parameters:
houseKeeper- the housekeeper for doing scavenging
-
getSessionHouseKeeper
HouseKeeper getSessionHouseKeeper()- Returns:
- the housekeeper for doing scavenging
-