dk.brics.jwig.server

Class SessionManager

java.lang.Object

dk.brics.jwig.server.SessionManager

public final class SessionManager
extends Object

Session state manager.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	SessionManager.PersistentSessions

Constructor Summary

Constructors

Constructor and Description
SessionManager(ServletContext context) Constructs a new session manager.

Method Summary

Methods

Modifier and Type	Method and Description
void	addListener(SessionManagerListener listener) Adds a session manager listener.
void	destroy() Stops this session manager.
void	endSession(Session s) Ends the given session and informs listeners.
Session	get(String id) Finds the session of the given ID.
void	refreshAfter(Session s) Call after changing a session timeout.
void	refreshBefore(Session s) Call before changing a session timeout.
void	remove(Session s) Removes the given session from the session manager.
void	store(Session s) Stores the given session in the session manager.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SessionManager

public SessionManager(ServletContext context)

Constructs a new session manager.

Method Detail

addListener

public void addListener(SessionManagerListener listener)

Adds a session manager listener.

destroy

public void destroy()

Stops this session manager. Invokes Session.destroy() on all sessions and SessionManagerListener.sessionTimeout(Session) on all their listeners.

endSession

public void endSession(Session s)

Ends the given session and informs listeners.

get

public Session get(String id)
            throws SessionDefunctException

Finds the session of the given ID.

Throws:

SessionDefunctException - if the session does not exist

refreshAfter

public void refreshAfter(Session s)

Call after changing a session timeout. Caller should synchronize.

refreshBefore

public void refreshBefore(Session s)

Call before changing a session timeout. Caller should synchronize.

remove

public void remove(Session s)

Removes the given session from the session manager. Does not inform listeners.

store

public void store(Session s)
           throws ServerBusyException

Stores the given session in the session manager.

Throws:

ServerBusyException - if jwig.max_sessions reached