X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fgetter%2Fhttp_getter.ml;h=4e431ee81ac8731b91c6cc0be26365bb5d03f4b7;hb=91d21783f8ef99251f1868ea286c395d7f653ac5;hp=b41c4788f2a77edfd7119b8bb49a0d89b71be622;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/components/getter/http_getter.ml b/matita/components/getter/http_getter.ml
index b41c4788f..4e431ee81 100644
--- a/matita/components/getter/http_getter.ml
+++ b/matita/components/getter/http_getter.ml
@@ -151,10 +151,7 @@ let exists ~local uri =
    let uri = deref_index_theory ~local uri in
     Http_getter_storage.exists ~local (uri ^ xml_suffix)
 	
-let is_an_obj s = 
-  try 
-    s <> UriManager.buri_of_uri (UriManager.uri_of_string s)
-  with UriManager.IllFormedUri _ -> true
+let is_an_obj s = s <> NUri.baseuri_of_uri (NUri.uri_of_string s)
     
 let resolve ~local ~writable uri =
   if remote () then
@@ -363,13 +360,13 @@ let getalluris () =
 
 (* Shorthands from now on *)
 
-let getxml' uri = getxml (UriManager.string_of_uri uri)
+let getxml' uri = getxml (NUri.string_of_uri uri)
 let resolve' ~local ~writable uri =
-  resolve ~local ~writable (UriManager.string_of_uri uri)
+  resolve ~local ~writable (NUri.string_of_uri uri)
 ;;
-let exists' ~local uri = exists ~local (UriManager.string_of_uri uri)
+let exists' ~local uri = exists ~local (NUri.string_of_uri uri)
 let filename' ~local ~writable uri =
-  filename ~local ~writable (UriManager.string_of_uri uri)
+  filename ~local ~writable (NUri.string_of_uri uri)
 ;;
 
 let tilde_expand_key k =