removed dump_env in favour of env_to_string which return a string

describing current environment

diff --git a/helm/http_getter/http_getter_env.ml b/helm/http_getter/http_getter_env.ml
index 35cd5bbd937dd6f350c7788ee7be0788557f3a69..661b4ae47762ed38b0e4bf254e0cbef559f1092c 100644 (file)
--- a/helm/http_getter/http_getter_env.ml
+++ b/helm/http_getter/http_getter_env.ml
@@ -121,8 +121,8 @@ let cache_mode =
 let reload () =
   reload_servers ()
 
-let dump_env () =
-  printf
+let env_to_string () =
+  sprintf
 "HTTP Getter %s (the OCaml one!)
 
 cic_dbm:\t%s
@@ -151,6 +151,5 @@ servers:
     cic_dir nuprl_dir rdf_dir dtd_dir servers_file host port my_own_url
     dtd_base_url
     (match cache_mode with Enc_normal -> "Normal" | Enc_gzipped -> "GZipped")
-    conf_file conf_dir (String.concat "\n\t" !servers);
-  flush stdout
+    conf_file conf_dir (String.concat "\n\t" !servers)
 

diff --git a/helm/http_getter/http_getter_env.mli b/helm/http_getter/http_getter_env.mli
index eab0e79d2b7d37abeb9388568d6a741a46325b1b..41028389de47d4a3e0320839e2c8028628ee58dc 100644 (file)
--- a/helm/http_getter/http_getter_env.mli
+++ b/helm/http_getter/http_getter_env.mli
@@ -60,7 +60,8 @@ val conf_dir      : string          (* directory where conf_file resides *)
 
   (* misc *)
 
-val reload: unit -> unit          (* reload servers list *)
-val dump_env : unit -> unit       (* dump a textual representation of the
-                                  current http_getter settings *)
+val reload: unit -> unit            (* reload servers list *)
+val env_to_string : unit -> string  (* dump a textual representation of the
+                                    current http_getter settings on an output
+                                    channel*)