From 34396aa0ba494f0be90c80c5421d3baa1ac1e5c4 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 24 Jan 2005 16:18:13 +0000 Subject: [PATCH] - removed ancient debugging prints --- helm/ocaml/getter/http_getter.ml | 11 +++-------- 1 file changed, 3 insertions(+), 8 deletions(-) diff --git a/helm/ocaml/getter/http_getter.ml b/helm/ocaml/getter/http_getter.ml index 539fa90a7..84b2277a1 100644 --- a/helm/ocaml/getter/http_getter.ml +++ b/helm/ocaml/getter/http_getter.ml @@ -77,7 +77,7 @@ let map_of_uri = function | uri when is_nuprl_uri uri -> Lazy.force nuprl_map | uri when is_rdf_uri uri -> Lazy.force rdf_map | uri when is_xsl_uri uri -> Lazy.force xsl_map - | uri -> prerr_endline "BBBBB";raise (Unresolvable_URI uri) + | uri -> raise (Unresolvable_URI uri) let update_from_server logger server_url = (* use global maps *) Http_getter_logger.log ("Updating information from " ^ server_url); @@ -231,16 +231,11 @@ let resolve_remote uri = | Pxp_types.E_start_tag ("not_found",[],_,_) -> res := Exception (Key_not_found uri) | Pxp_types.E_start_tag (x,_,_,_) -> - prerr_endline ("UnexpectedGetterOutput: "^x); res := Exception UnexpectedGetterOutput | _ -> ()); match !res with - | Unknown -> - prerr_endline ("UnexpectedGetterOutput: Unknown!"); - raise UnexpectedGetterOutput - | Exception e -> - prerr_endline ("Exception : ??????"); - raise e + | Unknown -> raise UnexpectedGetterOutput + | Exception e -> raise e | Resolved url -> url let register_remote ~uri ~url = -- 2.39.2