From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 12 Mar 2003 18:01:47 +0000 (+0000)
Subject: removed dump_env in favour of env_to_string which return a string
X-Git-Tag: V_0_0_4_2~17
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=bcb3a166855c11d57aee0130df8f666c9db303ec;p=helm.git

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 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)
 
diff --git a/helm/http_getter/http_getter_env.mli b/helm/http_getter/http_getter_env.mli
index eab0e79d2..41028389d 100644
--- 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*)