X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fgetter%2Fhttp_getter_env.ml;h=575207057b60a4d85a429fae90d5d0a9f584913a;hb=acf29bdbdcdc6ad8c2d9d27e8a47500981b605cd;hp=a0da4b676eae2216bb4ccbb130c409bf2f7ab3e3;hpb=912cf238365dbf70aed65c5a0bc65e5f3c1ea92b;p=helm.git

diff --git a/helm/ocaml/getter/http_getter_env.ml b/helm/ocaml/getter/http_getter_env.ml
index a0da4b676..575207057 100644
--- a/helm/ocaml/getter/http_getter_env.ml
+++ b/helm/ocaml/getter/http_getter_env.ml
@@ -38,9 +38,13 @@ let version = Http_getter_const.version
 let servers_file    = lazy (
   Helm_registry.get_opt Helm_registry.get "getter.servers_file")
 let cic_dbm         = lazy (Helm_registry.get "getter.maps_dir" ^ "/cic_db")
+let cic_dbm_real    = lazy (Helm_registry.get "getter.maps_dir" ^ "/cic_db.pag")
 let nuprl_dbm       = lazy (Helm_registry.get "getter.maps_dir" ^ "/nuprl_db")
 let rdf_dbm         = lazy (Helm_registry.get "getter.maps_dir" ^ "/rdf_db")
 let xsl_dbm         = lazy (Helm_registry.get "getter.maps_dir" ^ "/xsl_db")
+let dump_file       = lazy (Helm_registry.get "getter.maps_dir" ^ 
+                              "/cic_db_tree.dump")
+let prefetch        = lazy (Helm_registry.get_bool "getter.prefetch")
 let xml_index       = lazy (
   Helm_registry.get_opt_default Helm_registry.get "index.txt"
     "getter.xml_indexname")
@@ -139,6 +143,8 @@ cic_dir:\t%s
 nuprl_dir:\t%s
 rdf_dir:\t%s
 dtd_dir:\t%s
+dump_file:\t%s
+prefetch:\t%b
 servers_file:\t%s
 host:\t\t%s
 port:\t\t%d
@@ -154,7 +160,7 @@ log_level:\t%d
     (Lazy.force xsl_dbm) (Lazy.force xml_index)
     (Lazy.force rdf_index) (Lazy.force xsl_index) (Lazy.force cic_dir)
     (Lazy.force nuprl_dir) (Lazy.force rdf_dir)
-    (Lazy.force dtd_dir)
+    (Lazy.force dtd_dir) (Lazy.force dump_file) (Lazy.force prefetch)
     (match Lazy.force servers_file with
     | None -> "no servers file"
     | Some servers_file -> servers_file)