removed dump_env in favour of env_to_string which return a string

[helm.git] / helm / http_getter / http_getter_env.ml

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)