made "dtd_dir" optional, is needed only by the web server, not by matita

[helm.git] / helm / ocaml / getter / http_getter.ml

diff --git a/helm/ocaml/getter/http_getter.ml b/helm/ocaml/getter/http_getter.ml
index 61930a4aa243c78ece4b981b7f4a79eb9f333c17..1b47a6c38ad6f5490acbcd455270492187325ea0 100644 (file)
--- a/helm/ocaml/getter/http_getter.ml
+++ b/helm/ocaml/getter/http_getter.ml
@@ -176,7 +176,7 @@ let getdtd uri =
   if remote () then
     getdtd_remote uri
   else begin
-    let fname = Lazy.force Http_getter_env.dtd_dir ^ "/" ^ uri in
+    let fname = Http_getter_env.get_dtd_dir () ^ "/" ^ uri in
     if not (Sys.file_exists fname) then raise (Dtd_not_found uri);
     fname
   end