From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 12 Mar 2003 18:02:04 +0000 (+0000)
Subject: embedded configuration infos in usage string
X-Git-Tag: V_0_0_4_2~16
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9c4e8b582be9e83f1cef8eeb31bde1af907b195e;p=helm.git

embedded configuration infos in usage string
---

diff --git a/helm/http_getter/http_getter.ml b/helm/http_getter/http_getter.ml
index b5cfa47d9..26b0774a4 100644
--- a/helm/http_getter/http_getter.ml
+++ b/helm/http_getter/http_getter.ml
@@ -333,7 +333,10 @@ let callback (req: Http_types.request) outchan =
     debug_print ("Connection from " ^ req#clientAddr);
     debug_print ("Received request: " ^ req#path);
     (match req#path with
-    | "/help" -> return_html_raw Http_getter_const.usage_string outchan
+    | "/help" ->
+        return_html_raw
+          (Http_getter_const.usage_string (Http_getter_env.env_to_string ()))
+          outchan
     | "/getxml" | "/getxslt" | "/getdtd" | "/resolve" | "/register" ->
         (let uri = req#param "uri" in  (* common parameter *)
         match req#path with
@@ -421,7 +424,8 @@ in
     (* daemon initialization *)
 
 let main () =
-  Http_getter_env.dump_env ();
+  print_string (Http_getter_env.env_to_string ());
+  flush stdout;
   Unix.putenv "http_proxy" "";
   at_exit save_maps;
   Sys.catch_break true;