From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 24 Jan 2005 16:18:13 +0000 (+0000)
Subject: - removed ancient debugging prints
X-Git-Tag: V_0_1_0~94
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=34396aa0ba494f0be90c80c5421d3baa1ac1e5c4;p=helm.git

- removed ancient debugging prints
---

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 =