Module type JavaServlet.HTTPSessionActivationListener

module type HTTPSessionActivationListener = sig .. end

The module type for listeners compiled with -servlet session-activation-listener.

val session_did_activate : JavaServlet.http_session_event -> unit

Called to notify that a session has just been activated; see sessionDidActivate(...).

val session_will_passivate : JavaServlet.http_session_event -> unit

Called to notify that a session is about to be passivated; see sessionWillPassivate(...).