Module type JavaServlet.HTTPSessionIdListener

module type HTTPSessionIdListener = sig .. end

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

val session_id_changed : JavaServlet.http_session_event -> JavaString.t -> unit

Called to notify that the session identifier has changed; see sessionIdChanged(...).