X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmetadata%2Ftest.ml;fp=helm%2Focaml%2Fmetadata%2Ftest.ml;h=0000000000000000000000000000000000000000;hb=65691806f2e187622f9fcceac0cd66f3f7ed7ba0;hp=a7040e6598c14d9cc643f8229fda0ba8da3bbcd5;hpb=35be38f22657bf00344e34fe75d7f3a5283832c1;p=helm.git

diff --git a/helm/ocaml/metadata/test.ml b/helm/ocaml/metadata/test.ml
deleted file mode 100644
index a7040e659..000000000
--- a/helm/ocaml/metadata/test.ml
+++ /dev/null
@@ -1,45 +0,0 @@
-
-
-let _ = Helm_registry.set "getter.mode" "local" in
-
-let _ = Helm_registry.set "getter.servers"
-            "file:///projects/helm/library/coq_contribs" in
-let _ = Helm_registry.set "getter.cache_dir" "." in
-let _ = Helm_registry.set "getter.maps_dir" "." in
-let _ = Helm_registry.set "getter.dtd_dir" "/projects/helm/xml/dtd" in
-
-let _ = Http_getter.init () in
-(* let _ = Http_getter.update () in *)
-
-let dbd =
-  Mysql.quick_connect ~host:"mowgli.cs.unibo.it" ~user:"helm" ~database:"matita"
-    ()
-in
-let owner =
-  try
-    Sys.argv.(2)
-  with Invalid_argument _ -> "matita_test2"
-in
-let _ = MetadataTypes.ownerize_tables owner in
-if Sys.argv.(1) = "clean" then begin
-  prerr_endline "foo";
-  ignore (MetadataDb.clean ~dbd)
-end else
-  let fname = Sys.argv.(1) in
-  let n = ref 0 in
-  let ic = open_in fname in
-  try
-    while true do
-      let line = input_line ic in
-      incr n;
-      Printf.printf "%d\t%s\n" !n line; flush stdout;
-      let uri = UriManager.uri_of_string line in
-      MetadataDb.index_obj ~dbd ~uri
-    done
-  with 
-  | _ -> 
-    prerr_endline 
-      ("total persing time " ^ 
-         (string_of_float !CicEnvironment.total_parsing_time)); 
-    close_in ic
-