From eb5345bc1314ca8bf8b9ea2293dbe0aa496b2d69 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 4 Feb 2005 15:02:38 +0000 Subject: [PATCH] - removed special handling of universes (no longer needed) - removed ancient part of commented code --- helm/ocaml/getter/http_getter.ml | 18 +----------------- 1 file changed, 1 insertion(+), 17 deletions(-) diff --git a/helm/ocaml/getter/http_getter.ml b/helm/ocaml/getter/http_getter.ml index 9afcafebb..f7ca2388c 100644 --- a/helm/ocaml/getter/http_getter.ml +++ b/helm/ocaml/getter/http_getter.ml @@ -264,16 +264,7 @@ let resolve uri = if remote () then resolve_remote uri else - - (**** FIXME ******) - if is_cic_uri uri && Pcre.pmatch ~pat:"\\.univ$" uri then - begin - prerr_endline "!!! E' in ~tassi !!!"; - "file:///home/tassi/mylib" ^ - (String.sub uri 4 ((String.length uri) - 4)) ^ ".xml.gz" - end - else - (map_of_uri uri)#resolve uri + (map_of_uri uri)#resolve uri let register ~uri ~url = if remote () then @@ -500,9 +491,6 @@ let ls = let dir = "theory" ^ String.sub !dir_found 3 (String.length !dir_found - 3) ^ ".theory" in -(* -prerr_endline ("### " ^ uri ^ " ==> " ^ !dir_found ^ " ==> " ^ dir); -*) if not (List.mem dir !valid_candidates) then valid_candidates := dir::!valid_candidates end @@ -515,10 +503,6 @@ prerr_endline ("### " ^ uri ^ " ==> " ^ !dir_found ^ " ==> " ^ dir); then (index_not_generated_yet := false ; store_obj "index.theory")); -(* -prerr_endline ("@@@ " ^ String.concat " " !valid_candidates); -prerr_endline ("!!! " ^ String.concat " " (List.map fst !candidates_found)); -*) List.iter (fun (uri,localpart) -> if not (List.mem uri !valid_candidates) then -- 2.39.2