public interface SessionManagerListener
Modifier and Type | Method and Description |
---|---|
void |
sessionCreated(Session s)
Invoked by the session manager when a session is created.
|
void |
sessionEnded(Session s)
Invoked by the session manager when a session is ended in a normal way (not by timeout).
|
void |
sessionRefreshed(Session s)
Invoked by the session manager after a session is refreshed.
|
void |
sessionTimeout(Session s)
Invoked by the session manager when a session is ended by a timeout.
|
void sessionCreated(Session s)
void sessionEnded(Session s)
Session.end()
void sessionRefreshed(Session s)
void sessionTimeout(Session s)
Copyright © 2008-2012 Anders Møller & Mathias Schwarz.