]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/http_getter_common.ml
URL patching in ENTITY declarations extended to cover also absolute URLs.
[helm.git] / helm / ocaml / getter / http_getter_common.ml
index 1ee74c103b1e1948e309becc04d027f45d3a9347..62a52c792f1713b9f152881421b889a1d76f46dd 100644 (file)
@@ -79,27 +79,12 @@ let patch_xsl line =
   patch_include (patch_import line)
 let patch_dtd line =
   Pcre.replace
-    ~pat:"ENTITY (.*) SYSTEM\\s+\""
+    ~pat:(sprintf "ENTITY (.*) SYSTEM\\s+\"(%s/)?"
+      (Lazy.force Http_getter_env.dtd_base_url))
     ~templ:(sprintf "ENTITY $1 SYSTEM \"%s/getdtd?uri="
       (Lazy.force Http_getter_env.my_own_url))
     line
 
-let pp_error s =
-  sprintf "<html><body>Http Getter error: %s</body></html>" s
-let pp_internal_error s =
-  sprintf "<html><body>Http Getter Internal error: %s</body></html>" s
-let pp_msg s = sprintf "<html><body>%s</body></html>" s
-let null_pp s = s
-
-let mk_return_fun pp_fun contype msg outchan =
-  Http_daemon.respond
-    ~body:(pp_fun msg) ~headers:["Content-Type", contype] 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_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) ?(gunzip = false) outchan
   =
@@ -138,5 +123,4 @@ let return_file
       (fun line -> output_string outchan (patch_fun line ^ "\n"))
       fname
 ;;
-let return_400 body outchan = Http_daemon.respond_error ~code:400 ~body outchan