[Demexp-cvs] arch commit: demexp--development--0.1--patch-94

[David]

Revision: demexp--development--0.1--patch-94
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Sun Feb  8 18:18:47 CET 2004
Standard-date: 2004-02-08 17:18:47 GMT
Modified-files: raw-clnt/toplevel.ml.nw
    srv/demexp-server.ml.nw
New-patches: address@hidden/demexp--development--0.1--patch-94
Summary: Raw client: added options --ip and --port
Keywords: 

* Server: print on which ip:port we listen to

* Server: handle error case when given IP address (--ip) is invalid

* Raw client: added following options:

 --ip: set IP address of server to connect to
 --port: set port number of server to connect to