]> matita.cs.unibo.it Git - helm.git/commit
MAJOR CHANGES:
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 17 Jan 2003 15:10:28 +0000 (15:10 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 17 Jan 2003 15:10:28 +0000 (15:10 +0000)
commitf6afd384ab536a2380ae7a997cf8e30655e3bc1d
tree490d82b6164382b1f7b320aa3f4471752698e57e
parent3df42ca8873f044cee9b0b445dbb7aa245eb451d
MAJOR CHANGES:
- doesn't use thread anymore, use process with a master process which
  uses two pipes to chat about stylesheets related changes, if the
  stylesheet list needs a change master process kills the child process
  holding the Http daemon, performs the needed changes to the stylesheet
  list and runs a new Http daemon child process
MINOR CHANGES:
- disabled debugging by default
- use logfile support and log to "uwobo.log" by default
- changed default port to 58080
- moved http response facilities to Uwobo_common
- moved usage string to Uwobo_common
- fixed copyright notice
helm/uwobo/src/ocaml/uwobo.ml