From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 29 Apr 2005 12:07:15 +0000 (+0000)
Subject: added parser benchamrk
X-Git-Tag: single_binding~138
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2ce8229b8e02cef4697fcadb663698069727084a;p=helm.git

added parser benchamrk
---

diff --git a/helm/ocaml/metadata/test.ml b/helm/ocaml/metadata/test.ml
index 8e805840a..0264681bc 100644
--- a/helm/ocaml/metadata/test.ml
+++ b/helm/ocaml/metadata/test.ml
@@ -1,6 +1,16 @@
 
-let _ = Helm_registry.set "getter.mode" "remote";
-let _ = Helm_registry.set "getter.url" "http://mowgli.cs.unibo.it:58081/" in
+
+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"
     ()
@@ -26,5 +36,9 @@ end else
       let uri = UriManager.uri_of_string line in
       MetadataDb.index_obj ~dbd ~uri
     done
-  with End_of_file -> close_in ic
+  with 
+  | _ -> 
+    prerr_endline 
+      ("total persing time " ^ (string_of_float !CicEnvironment.total_time)); 
+    close_in ic