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(...).