]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/uwobo/src/ocaml/uwobo.ml
Initial revision
[helm.git] / helm / uwobo / src / ocaml / uwobo.ml
index 4a4d28470c6e06f63ff602e72bc81d948ddc46f9..22714b29a837b6ba18bcb3edb144a5b3b2590568 100644 (file)
@@ -24,6 +24,9 @@
  * http://cs.unibo.it/helm/.
  *)
 
+(* TODO braindead situation: /add of a stylesheet which uri is an uwobo
+invocation *)
+
 open Printf;;
 open Uwobo_common;;
 
@@ -257,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)