]> matita.cs.unibo.it Git - helm.git/commitdiff
URL patching in ENTITY declarations extended to cover also absolute URLs.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 5 Apr 2004 16:57:44 +0000 (16:57 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 5 Apr 2004 16:57:44 +0000 (16:57 +0000)
helm/ocaml/getter/http_getter_common.ml

index ed9410007617f618470f948f0de54f4ce233741a..62a52c792f1713b9f152881421b889a1d76f46dd 100644 (file)
@@ -79,7 +79,8 @@ 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