X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgetter%2Fhttp_getter_common.mli;h=1828c82e84b1908eefe07d48897a4a2519de4df7;hb=3af56c5a48f7cad33fd701e0061fe143e0e2a7c5;hp=f4ecb3dc85b6a3aef851c8596273ab945cedb4cd;hpb=17812d2224e765d4ff43bc5f35a7bb09b5ccb0d3;p=helm.git

diff --git a/helm/ocaml/getter/http_getter_common.mli b/helm/ocaml/getter/http_getter_common.mli
index f4ecb3dc8..1828c82e8 100644
--- a/helm/ocaml/getter/http_getter_common.mli
+++ b/helm/ocaml/getter/http_getter_common.mli
@@ -42,19 +42,6 @@ val patch_xml : string -> string
 val patch_xsl : string -> string
 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
-  (** 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
   (**
   @param fname name of the file to be sent
   @param contype Content-Type header value