From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 5 Apr 2004 16:57:44 +0000 (+0000)
Subject: URL patching in ENTITY declarations extended to cover also absolute URLs.
X-Git-Tag: dead_dir_walking~89
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7dfa9f509a84cdb3ff9577e359d1f0f17b349c97;p=helm.git

URL patching in ENTITY declarations extended to cover also absolute URLs.
---

diff --git a/helm/ocaml/getter/http_getter_common.ml b/helm/ocaml/getter/http_getter_common.ml
index ed9410007..62a52c792 100644
--- a/helm/ocaml/getter/http_getter_common.ml
+++ b/helm/ocaml/getter/http_getter_common.ml
@@ -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