]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/uwobo/src/ocaml/uwobo.ml
- unset http_proxy to avoid libxslt related problems
[helm.git] / 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)