]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/http_getter_cache.ml
- logging of long-running actions (like update) is now sent to the
[helm.git] / helm / ocaml / getter / http_getter_cache.ml
index 24056441340fb8845202091d1113d3f8481ed19d..1dd18fa1e3f46b78c46626a91ab5f45ae3d62aa4 100644 (file)
@@ -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