]> matita.cs.unibo.it Git - helm.git/commitdiff
- unset http_proxy to avoid libxslt related problems
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 2 Dec 2002 16:26:09 +0000 (16:26 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 2 Dec 2002 16:26:09 +0000 (16:26 +0000)
helm/uwobo/src/ocaml/uwobo.ml

index bc9646b062e0dd3e1a5b16ef907b64bcd6decd1f..22714b29a837b6ba18bcb3edb144a5b3b2590568 100644 (file)
  * 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)