public interface SessionManager
| Modifier and Type | Method and Description |
|---|---|
void |
add(Session session)
Add this session to the set of active sessions for this
SessionManager. |
void |
changeSessionId(Session session)
Change the session ID of the current session to a new randomly generated session ID.
|
Session |
createSession()
Create a new session object.
|
Session |
findSession(java.lang.String id)
Return the active session, with the specified session id (if any); otherwise return
null. |
void |
remove(Session session)
Remove this session from the active sessions for this
SessionManager. |
void add(Session session) throws java.io.IOException
SessionManager.session - session to be added.java.io.IOException - if an output error occurs while processing this request.void changeSessionId(Session session)
session - the session to change the session ID for.Session createSession()
Session findSession(java.lang.String id) throws java.io.IOException, java.lang.ClassNotFoundException
null.id - the session id for the session to be returned.null.java.lang.IllegalStateException - if a new session cannot be instantiated for any reason.java.io.IOException - if an output error occurs while processing this request.java.lang.ClassNotFoundExceptionvoid remove(Session session)
SessionManager.session - session to be removed.