[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Demexp-cvs] arch commit: demexp--development--0.1--patch-94
From: |
David |
Subject: |
[Demexp-cvs] arch commit: demexp--development--0.1--patch-94 |
Date: |
Sun, 08 Feb 2004 18:19:01 +0100 |
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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Demexp-cvs] arch commit: demexp--development--0.1--patch-94,
David <=