X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2Fhttp_getter_env.ml;h=661b4ae47762ed38b0e4bf254e0cbef559f1092c;hb=47b0c2c1b421b62302b1957954912b4c0dfba9fa;hp=35cd5bbd937dd6f350c7788ee7be0788557f3a69;hpb=a933ca25f485ac27e662444c250b8773c73b2755;p=helm.git

diff --git a/helm/http_getter/http_getter_env.ml b/helm/http_getter/http_getter_env.ml
index 35cd5bbd9..661b4ae47 100644
--- 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)