]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/http_getter_common.ml
- added return_html_raw to Http_getter_common
[helm.git] / helm / http_getter / http_getter_common.ml
index 0e66b2035d2fcd0120307cdb5d88c2a71b3b741c..b7cbc936c57a17fa21e1f72366b975960e2ed7de 100644 (file)
@@ -95,7 +95,8 @@ let mk_return_fun pp_fun contype msg outchan =
 let return_html_error = mk_return_fun pp_error "text/html"
 let return_html_internal_error = mk_return_fun pp_internal_error "text/html"
 let return_html_msg = mk_return_fun pp_msg "text/html"
-let return_xml_msg = mk_return_fun null_pp "text/xml"
+let return_html_raw = mk_return_fun null_pp "text/html"
+let return_xml_raw = mk_return_fun null_pp "text/xml"
 let return_file ~fname ?contype ?contenc ?(patch_fun = fun x -> x) outchan =
   let headers =
     match (contype, contenc) with