X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fmatitaclean.ml;h=d04e9fba9fab806ac32f0bc337f8967d31ca6a75;hb=6d887c63e04db301e185042eb9b2a7dbe9fd47e8;hp=a3183c16110fdeb03e273b3f55caac0baa1f08f9;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/matita/matitaclean.ml b/matita/matita/matitaclean.ml
index a3183c161..d04e9fba9 100644
--- a/matita/matita/matitaclean.ml
+++ b/matita/matita/matitaclean.ml
@@ -27,7 +27,6 @@
 
 open Printf
 
-module UM = UriManager
 module TA = GrafiteAst
 
 let clean_suffixes = [ ".moo"; ".lexicon"; ".metadata"; ".xml.gz" ]
@@ -58,7 +57,6 @@ let ask_confirmation _ =
 let clean_all () =
   if Helm_registry.get_bool "matita.system" then
     ask_confirmation ();
-  LibraryDb.clean_owner_environment ();
   let prefixes = 
     HExtlib.filter_map 
       (fun s -> 
@@ -108,14 +106,15 @@ let main () =
    List.fold_left
      (fun uris_to_remove suri ->
        let uri = 
-         try
-           UM.buri_of_uri (UM.uri_of_string suri)
-         with UM.IllFormedUri _ ->
+         (*MATITA 1.0, CSC: verify that suri is a reasonable uri *)
+         (*try*)
+           NUri.baseuri_of_uri (NUri.uri_of_string suri)
+         (*with UM.IllFormedUri _ ->
            let _,u,_,_ = Librarian.baseuri_of_script ~include_paths:[] suri in
            if Librarian.is_uri u then u else begin
              HLog.error (sprintf "File %s defines a bad baseuri: %s" suri u);
              exit 1
-           end 
+           end *)
        in
         uri::uris_to_remove) [] files
   in