[Demexp-cvs] arch commit: demexp--cduce--0.3--patch-26

[David]

Revision: demexp--cduce--0.3--patch-26
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Tue Feb 15 19:55:30 CET 2005
Standard-date: 2005-02-15 18:55:30 GMT
Modified-files: srv/demexp-server.ml.nw
New-patches: address@hidden/demexp--cduce--0.3--patch-26
Summary: replace --address and --port server's options by --listen
Keywords: server

* srv/demexp-server.ml.nw: Options --address and --port and replace with
  --listen option, with easier syntax, e.g.:

           --listen host:port

           --listen :port

           --listen host