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.