X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fhttp_getter%2Fhttp_getter_env.mli;h=41028389de47d4a3e0320839e2c8028628ee58dc;hb=7ab0c11985ab4caf44ef42e01c4eb0b5bde77913;hp=eab0e79d2b7d37abeb9388568d6a741a46325b1b;hpb=a933ca25f485ac27e662444c250b8773c73b2755;p=helm.git

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*)