X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Flibrary%2FlibraryClean.ml;h=8d78189920c8db5f6c68e9449b476aed3c10b71a;hb=578ba04e1a0812f538729fbc02ea38d2cfd0ed3e;hp=8e9f430ba7ee467969ebe947b5142b1fc73d4804;hpb=08ae8b17903359fa9086a465096fd568c562d1d3;p=helm.git

diff --git a/matita/components/library/libraryClean.ml b/matita/components/library/libraryClean.ml
index 8e9f430ba..8d7818992 100644
--- a/matita/components/library/libraryClean.ml
+++ b/matita/components/library/libraryClean.ml
@@ -32,11 +32,12 @@ let debug_prerr = if debug then prerr_endline else ignore
 
 module HGT = Http_getter_types;;
 module HG = Http_getter;;
-module UM = UriManager;;
+(*module UM = UriManager;;*)
 
 let decompile = ref (fun ~baseuri -> assert false);;
 let set_decompile_cb f = decompile := f;;
 
+(*
 let strip_xpointer s = Pcre.replace ~pat:"#.*$" s ;;
 
 let safe_buri_of_suri suri =
@@ -46,6 +47,7 @@ let safe_buri_of_suri suri =
     UM.IllFormedUri _ -> suri
 
 let one_step_depend cache_of_processed_baseuri suri dbtype dbd =
+  assert false (* MATITA 1.0
   let buri = safe_buri_of_suri suri in
   if Hashtbl.mem cache_of_processed_baseuri buri then 
     []
@@ -90,8 +92,10 @@ let one_step_depend cache_of_processed_baseuri suri dbtype dbd =
       with
         exn -> raise exn (* no errors should be accepted *)
     end
+    *)
     
 let db_uris_of_baseuri buri =
+  [] (* MATITA 1.0
  let dbd = LibraryDb.instance () in
  let dbtype = 
    if Helm_registry.get_bool "matita.system" then HSql.Library else HSql.User
@@ -122,6 +126,7 @@ let db_uris_of_baseuri buri =
   HExtlib.list_uniq l
  with
   exn -> raise exn (* no errors should be accepted *)
+  *)
 ;;
 
 let close_uri_list cache_of_processed_baseuri uri_to_remove =
@@ -212,64 +217,36 @@ let moo_root_dir = lazy (
   in
   String.sub url 7 (String.length url - 7))
 ;;
+*)
+
+let rec close_db cache_of_processed_baseuri uris next =
+  uris (* MATITA 1.0 *)
+;;
 
 let clean_baseuris ?(verbose=true) buris =
+ (* MATITA 1.0 *) () (*
   let cache_of_processed_baseuri = Hashtbl.create 1024 in
-  let dbd = LibraryDb.instance () in
-  let dbtype = 
-    if Helm_registry.get_bool "matita.system" then HSql.Library else HSql.User
-  in
-  Hashtbl.clear cache_of_processed_baseuri;
   let buris = List.map Http_getter_misc.strip_trailing_slash buris in
   debug_prerr "clean_baseuris called on:";
   if debug then
     List.iter debug_prerr buris; 
   let l = close_db cache_of_processed_baseuri [] buris in
   let l = HExtlib.list_uniq (List.fast_sort Pervasives.compare l) in
-  let l = List.map UriManager.uri_of_string l in
+  let l = List.map NUri.uri_of_string l in
   debug_prerr "clean_baseuri will remove:";
   if debug then
-    List.iter (fun u -> debug_prerr (UriManager.string_of_uri u)) l; 
+    List.iter (fun u -> debug_prerr (NUri.string_of_uri u)) l; 
   List.iter
    (fun baseuri ->
      !decompile ~baseuri;
      try 
-      let obj_file =
-       LibraryMisc.obj_file_of_baseuri ~must_exist:false ~writable:true ~baseuri
+      let lexiconfile =
+       LibraryMisc.lexicon_file_of_baseuri 
+        ~must_exist:false ~writable:true ~baseuri
       in
-       HExtlib.safe_remove obj_file ;
-       HExtlib.safe_remove 
-         (LibraryMisc.lexicon_file_of_baseuri 
-           ~must_exist:false ~writable:true ~baseuri) ;
-       HExtlib.rmdir_descend (Filename.chop_extension obj_file)
+       HExtlib.safe_remove lexiconfile;
+       HExtlib.rmdir_descend (Filename.chop_extension lexiconfile)
      with Http_getter_types.Key_not_found _ -> ())
    (HExtlib.list_uniq (List.fast_sort Pervasives.compare
-     (List.map (UriManager.buri_of_uri) l @ buris)));
-  List.iter
-   (let last_baseuri = ref "" in
-    fun uri ->
-     let buri = UriManager.buri_of_uri uri in
-     if buri <> !last_baseuri then
-      begin
-        if not (Helm_registry.get_bool "matita.verbose") then
-            (print_endline ("matitaclean " ^ buri ^ "/");flush stdout)
-          else 
-            HLog.message ("Removing: " ^ buri ^ "/*");
-       last_baseuri := buri
-      end;
-     LibrarySync.remove_obj uri
-   ) l;
-  if HSql.isMysql dbtype dbd then
-   begin
-   cleaned_no := !cleaned_no + List.length l;
-   if !cleaned_no > 30 && HSql.isMysql dbtype dbd then
-    begin
-     cleaned_no := 0;
-     List.iter
-      (function table ->
-        ignore (HSql.exec dbtype dbd ("OPTIMIZE TABLE " ^ table)))
-      [MetadataTypes.name_tbl (); MetadataTypes.rel_tbl ();
-       MetadataTypes.sort_tbl (); MetadataTypes.obj_tbl();
-       MetadataTypes.count_tbl()]
-    end
-   end
+     (List.map NUri.baseuri_of_uri l @ buris)))
+*)