X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2Fhttp_getter_cache.ml;h=7d6584c9975338bf482859fd437fdedb1645a26d;hb=853195c8cae7b029f3e500a5b712a67cf4467e84;hp=6d2fe6e06fa52ed4480c6354492e6731acec8560;hpb=ac68e73fbbb596dfedd9eb4166952556bdbac16b;p=helm.git

diff --git a/helm/http_getter/http_getter_cache.ml b/helm/http_getter/http_getter_cache.ml
index 6d2fe6e06..7d6584c99 100644
--- a/helm/http_getter/http_getter_cache.ml
+++ b/helm/http_getter/http_getter_cache.ml
@@ -109,10 +109,12 @@ let respond_xsl ?(enc = Enc_normal) ?(patch_dtd = true) ~url outchan =
 
   (* TODO patch_dtd and format are fooish, implement them! *)
 let respond_dtd ?(enc = Enc_normal) ?(patch_dtd = true) ~url outchan =
-    if Sys.file_exists url then
-      return_file
-        ~fname:url ~contype:"text/xml" ~patch_fun:Http_getter_common.patch_dtd
-        outchan
-    else
-      return_html_error ("Can't find DTD: " ^ url) outchan
+  let patch_fun =
+    if patch_dtd then Http_getter_common.patch_dtd else (fun x -> x)
+  in
+  if Sys.file_exists url then
+    (* TODO check this: old getter here use text/xml *)
+    return_file ~fname:url ~contype:"text/plain" ~patch_fun outchan
+  else
+    return_html_error ("Can't find DTD: " ^ url) outchan