module type Generic = sig .. end
The module type for servlets compiled with -servlet generic.
type t
The type of values stored by servlets.
val init : JavaServlet.generic -> t
Initializes a new servlet by returning its value (the function is
executed by javax.servlet.GenericServlet.init()).
val service : t ->
JavaServlet.generic -> JavaServlet.request -> JavaServlet.response -> unit
service v inst req resp handles the request req through the
servlet instance inst (associated to value v). The parameter
resp is used to send the response.
val destroy : t -> JavaServlet.generic -> unit
Called by the servlet container when the servlet is being taken out
of service.