Module type JavaServlet.ServletContextListener

module type ServletContextListener = sig .. end

The module type for listeners compiled with -servlet context-listener.

val context_initialized : JavaServlet.servlet_context_event -> unit

Called to notify that the application initialization is starting; see contextInitialized(...).

val context_destroyed : JavaServlet.servlet_context_event -> unit

Called to notify that the servlet context will shutdown; see contextDestroyed(...).