[Demexp-cvs] arch commit: demexp--development--0.3--patch-80

[David]

Revision: demexp--development--0.3--patch-80
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Sun Oct 24 19:24:06 CEST 2004
Standard-date: 2004-10-24 17:24:06 GMT
Modified-files: config.ml srv/demexp-server-book.tex
    srv/demexp-server.ml.nw srv/srvflags.ml.nw
    srv/work.ml.nw
New-patches: address@hidden/demexp--development--0.3--patch-80
Summary: server: the server can now use a hostname instead of an IP address
Keywords: 

* srv/: the server can now use a hostname instead of an IP address. --ip
  command line option is now --address.

* config.ml: increased maximum message size to 2 MiB.