From bcb3a166855c11d57aee0130df8f666c9db303ec Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 12 Mar 2003 18:01:47 +0000 Subject: [PATCH] removed dump_env in favour of env_to_string which return a string describing current environment --- helm/http_getter/http_getter_env.ml | 7 +++---- helm/http_getter/http_getter_env.mli | 7 ++++--- 2 files changed, 7 insertions(+), 7 deletions(-) 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*) -- 2.39.2