Module type JavaServlet.ServletContextAttributeListener

module type ServletContextAttributeListener = sig .. end

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

val attribute_added : JavaServlet.servlet_context_attribute_event -> unit

Called to notify that a new attribute was added to the context; see attributeAdded(...).

val attribute_removed : JavaServlet.servlet_context_attribute_event -> unit

Called to notify that an attribute was removed from the context; see attributeRemoved(...).

val attribute_replaced : JavaServlet.servlet_context_attribute_event -> unit

Called to notify that an attribute was replaced in the context; see attributeReplaced(...).