X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fhttp_getter%2Fhttp_getter_common.mli;fp=helm%2Fhttp_getter%2Fhttp_getter_common.mli;h=9ac5aad6fde50b9cd801f140af6f247cf53a1a07;hp=0c21ba6ff383187e68ef56d4086b5df80bd46ab1;hb=6a9be767a19f39aa862f989d8dbbe186b71db0ca;hpb=dd8c7357e157ca0794b6e045207f23b95c61c0ae

diff --git a/helm/http_getter/http_getter_common.mli b/helm/http_getter/http_getter_common.mli
index 0c21ba6ff..9ac5aad6f 100644
--- a/helm/http_getter/http_getter_common.mli
+++ b/helm/http_getter/http_getter_common.mli
@@ -43,8 +43,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
   (**