[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Demexp-cvs] arch commit: demexp--development--0.3--patch-80
From: |
David |
Subject: |
[Demexp-cvs] arch commit: demexp--development--0.3--patch-80 |
Date: |
Sun, 24 Oct 2004 19:24:31 +0200 |
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.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Demexp-cvs] arch commit: demexp--development--0.3--patch-80,
David <=