From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 2 Dec 2002 16:26:09 +0000 (+0000)
Subject: - unset http_proxy to avoid libxslt related problems
X-Git-Tag: V_0_0_6~14
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4411489f899b4706834373f9c516856a4b6131d6;p=helm.git

- unset http_proxy to avoid libxslt related problems
---

diff --git a/helm/uwobo/src/ocaml/uwobo.ml b/helm/uwobo/src/ocaml/uwobo.ml
index bc9646b06..22714b29a 100644
--- a/helm/uwobo/src/ocaml/uwobo.ml
+++ b/helm/uwobo/src/ocaml/uwobo.ml
@@ -24,10 +24,6 @@
  * http://cs.unibo.it/helm/.
  *)
 
-(* TODO libxslt support 'http_proxy' variables, but IIRC access to this
-variables is mentioned in non-reentrant stuff, so having those variables set
-cause uwobo not to work properly when invoked recursively *)
-
 (* TODO braindead situation: /add of a stylesheet which uri is an uwobo
 invocation *)
 
@@ -264,6 +260,7 @@ syslogger#log
   `Notice
   (sprintf "%s started and listening on port %d" daemon_name port);
 syslogger#log `Notice (sprintf "current directory is %s" (Sys.getcwd ()));
+Unix.putenv "http_proxy" "";  (* reset http_proxy to avoid libxslt problems *)
 Http_daemon.start' ~port ~mode:`Thread callback;
 syslogger#log `Notice (sprintf "%s is terminating, bye!" daemon_name)