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