Package org.eclipse.jetty.server

Interface SessionIdManager

All Superinterfaces:

LifeCycle

All Known Implementing Classes:

DefaultSessionIdManager

public interface SessionIdManager
extends LifeCycle

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 Type	Method	Description
void	expireAll(String id)	Expire all sessions on all contexts that share the same id.
String	getExtendedId(String id, jakarta.servlet.http.HttpServletRequest request)	Get an extended id for a session.
String	getId(String qualifiedId)	Get just the session id from an id that includes the worker name as a suffix.
Set<SessionHandler>	getSessionHandlers()	Get the set of all session handlers for this node
HouseKeeper	getSessionHouseKeeper()
String	getWorkerName()
void	invalidateAll(String id)	Invalidate all sessions on all contexts that share the same id.
boolean	isIdInUse(String id)
String	newSessionId(jakarta.servlet.http.HttpServletRequest request, long created)	Create a new Session ID.
String	renewSessionId(String oldId, String oldExtendedId, jakarta.servlet.http.HttpServletRequest request)	Change the existing session id.
void	setSessionHouseKeeper(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

boolean isIdInUse(String id)

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

void expireAll(String id)

Expire all sessions on all contexts that share the same id.

Parameters:

id - The session ID without any cluster node extension

invalidateAll

void invalidateAll(String id)

Invalidate all sessions on all contexts that share the same id.

Parameters:

id - the session id

newSessionId

String newSessionId(jakarta.servlet.http.HttpServletRequest request,
 long created)

Create a new Session ID.

Parameters:

request - the request with the sesion

created - 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

String getId(String qualifiedId)

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

String getExtendedId(String id,
 jakarta.servlet.http.HttpServletRequest request)

Get an extended id for a session. An extended id contains the workername as a suffix.

Parameters:

id - The id of the session

request - The request that for the session (or null)

Returns:

The session id qualified with the worker name

renewSessionId

String renewSessionId(String oldId,
 String oldExtendedId,
 jakarta.servlet.http.HttpServletRequest request)

Change the existing session id.

Parameters:

oldId - the old plain session id

oldExtendedId - the old fully qualified id

request - 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

void setSessionHouseKeeper(HouseKeeper houseKeeper)

Parameters:

houseKeeper - the housekeeper for doing scavenging

getSessionHouseKeeper

HouseKeeper getSessionHouseKeeper()

Returns:

the housekeeper for doing scavenging