Module type JavaServlet.HTTPSessionListener

module type HTTPSessionListener = sig .. end
The module type for listeners compiled with -servlet session-listener.

val session_created : JavaServlet.http_session_event -> unit
Called to notify that a session was created; see sessionCreated(...).
 
val session_destroyed : JavaServlet.http_session_event -> unit
Called to notify that a session is about to be invalidated; see sessionDestroyed(...).