From 9c4e8b582be9e83f1cef8eeb31bde1af907b195e Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 12 Mar 2003 18:02:04 +0000 Subject: [PATCH] embedded configuration infos in usage string --- helm/http_getter/http_getter.ml | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) 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; -- 2.39.2