Module JavaServlet.Default_HTTP

module Default_HTTP: sig .. end

Default 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 -> java_long

val destroy : 'a -> JavaServlet.http -> unit