]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/http_getter_common.mli
Debugging stuff removed.
[helm.git] / helm / http_getter / http_getter_common.mli
index 0c21ba6ff383187e68ef56d4086b5df80bd46ab1..236644452d8f8fdd66d756c8dfd16978bc17613e 100644 (file)
@@ -31,7 +31,8 @@ open Http_getter_types;;
 val string_of_ls_flag: http_getter_ls_flag -> string
 val string_of_encoding: http_getter_encoding -> string
 
-val is_xml_uri: string -> bool
+val is_cic_uri: string -> bool
+val is_nuprl_uri: string -> bool
 val is_rdf_uri: string -> bool
 val is_xsl_uri: string -> bool
 
@@ -43,8 +44,15 @@ val patch_dtd : string -> string
 
 val return_html_error: string -> out_channel -> unit
 val return_html_internal_error: string -> out_channel -> unit
+  (** return an HTML HTTP response from the given string, embedding it in an
+  "H1" element of an HTML page; content-type is set to text/html *)
 val return_html_msg: string -> out_channel -> unit
-val return_xml_msg: string -> out_channel -> unit
+  (** return an HTTP response using given string as content; content-type is set
+  to text/html *)
+val return_html_raw: string -> out_channel -> unit
+  (** return an HTTP response using given string as content; content-type is set
+  to text/xml *)
+val return_xml_raw: string -> out_channel -> unit
  (** return a bad request http response *)
 val return_400: string -> out_channel -> unit
   (**
@@ -52,10 +60,14 @@ val return_400: string -> out_channel -> unit
   @param contype Content-Type header value
   @param contenc Content-Enconding header value
   @param patch_fun function used to patch file contents
+  @param gunzip is meaningful only if a patch function is provided. If gunzip
+  is true patch_fun is applied to the uncompressed version of the file. The file
+  is then compressed again and send to client
   @param outchan output channel over which sent file fname *)
 val return_file:
   fname:string ->
-  ?contype:string -> ?contenc:string -> ?patch_fun:(string -> string) ->
+  ?contype:string -> ?contenc:string ->
+  ?patch_fun:(string -> string) -> ?gunzip:bool ->
   out_channel ->
     unit