Module type JavaServlet.HTTPSessionListener

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

val session_created : javax'servlet'http'HttpSessionEvent java_instance -> unit
Called to notify that a session was created.
 
val session_destroyed : javax'servlet'http'HttpSessionEvent java_instance -> unit
Called to notify that a session is about to be invalidated.