module Default_HTTP: sig
.. end
Default (i.e. empty) implementation for HTTP servlets.
val do_delete : 'a ->
JavaServlet.http ->
JavaServlet.http_request -> JavaServlet.http_response -> unit
val do_get : 'a ->
JavaServlet.http ->
JavaServlet.http_request -> JavaServlet.http_response -> unit
val do_head : 'a ->
JavaServlet.http ->
JavaServlet.http_request -> JavaServlet.http_response -> unit
val do_post : 'a ->
JavaServlet.http ->
JavaServlet.http_request -> JavaServlet.http_response -> unit
val do_put : 'a ->
JavaServlet.http ->
JavaServlet.http_request -> JavaServlet.http_response -> unit
val do_trace : 'a ->
JavaServlet.http ->
JavaServlet.http_request -> JavaServlet.http_response -> unit
val get_last_modified : 'a -> JavaServlet.http -> JavaServlet.http_request -> int64
val destroy : 'a -> JavaServlet.http -> unit