X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgetter%2Fhttp_getter_cache.ml;h=1dd18fa1e3f46b78c46626a91ab5f45ae3d62aa4;hb=3af56c5a48f7cad33fd701e0061fe143e0e2a7c5;hp=24056441340fb8845202091d1113d3f8481ed19d;hpb=17812d2224e765d4ff43bc5f35a7bb09b5ccb0d3;p=helm.git

diff --git a/helm/ocaml/getter/http_getter_cache.ml b/helm/ocaml/getter/http_getter_cache.ml
index 240564413..1dd18fa1e 100644
--- a/helm/ocaml/getter/http_getter_cache.ml
+++ b/helm/ocaml/getter/http_getter_cache.ml
@@ -219,7 +219,7 @@ let respond_dtd ?(enc = Enc_normal) ?(patch = true) ~url outchan =
     (* TODO check this: old getter here used text/xml *)
     return_file ~fname:url ~contype:"text/plain" ~patch_fun outchan
   else
-    return_html_error ("Can't find DTD: " ^ url) outchan
+    raise (Dtd_not_found url)
 
 let clean () =
  let module E = Http_getter_env in