3 let _ = Helm_registry.set "getter.mode" "local" in
5 let _ = Helm_registry.set "getter.servers"
6 "file:///projects/helm/library/coq_contribs" in
7 let _ = Helm_registry.set "getter.cache_dir" "." in
8 let _ = Helm_registry.set "getter.maps_dir" "." in
9 let _ = Helm_registry.set "getter.dtd_dir" "/projects/helm/xml/dtd" in
11 let _ = Http_getter.init () in
12 (* let _ = Http_getter.update () in *)
15 Mysql.quick_connect ~host:"mowgli.cs.unibo.it" ~user:"helm" ~database:"matita"
21 with Invalid_argument _ -> "matita_test2"
23 let _ = MetadataTypes.ownerize_tables owner in
24 if Sys.argv.(1) = "clean" then begin
26 ignore (MetadataDb.clean ~dbd)
28 let fname = Sys.argv.(1) in
30 let ic = open_in fname in
33 let line = input_line ic in
35 Printf.printf "%d\t%s\n" !n line; flush stdout;
36 let uri = UriManager.uri_of_string line in
37 MetadataDb.index_obj ~dbd ~uri
42 ("total persing time " ^
43 (string_of_float !CicEnvironment.total_parsing_time));