org.mortbay.jetty
Interface SessionIdManager

All Superinterfaces:

LifeCycle

All Known Implementing Classes:

HashSessionIdManager

public interface SessionIdManager

extends LifeCycle

Author:

gregw

Method Summary

void	addSession(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, 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(HttpServletRequest request, long created)
void	removeSession(HttpSession session) Remove session from the list of known sessions for a given ID.

Methods inherited from interface org.mortbay.component.LifeCycle

isFailed, isRunning, isStarted, isStarting, isStopped, isStopping, start, stop

Method Detail

idInUse

public boolean idInUse(String id)

Parameters:

id - The session ID without any cluster node extension

Returns:

True if the session ID is in use by at least one context.

addSession

public void addSession(HttpSession session)

Add a session to the list of known sessions for a given ID.

Parameters:

session - The session

removeSession

public void removeSession(HttpSession session)

Remove session from the list of known sessions for a given ID.

Parameters:

session -

invalidateAll

public void invalidateAll(String id)

Call HttpSession.invalidate() on all known sessions for the given id.

Parameters:

id - The session ID without any cluster node extension

newSessionId

public String newSessionId(HttpServletRequest request,
                           long created)

Parameters:

request -

created -

Returns:

getWorkerName

public String getWorkerName()

getClusterId

public String getClusterId(String nodeId)

Get a cluster ID from a node ID. Strip node identifier from a located session ID.

Parameters:

nodeId -

Returns:

getNodeId

public String getNodeId(String clusterId,
                        HttpServletRequest request)

Get a node ID from a cluster ID and a request

Parameters:

clusterId - The ID of the session

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

Returns:

The session ID qualified with the node ID.