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

[David]

Revision: demexp--development--0.1--patch-93
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Sun Feb  8 17:53:51 CET 2004
Standard-date: 2004-02-08 16:53:51 GMT
Modified-files: config.ml raw-clnt/toplevel.ml.nw
    srv/demexp-server.ml.nw srv/srvflags.ml.nw
    srv/work.ml.nw
New-patches: address@hidden/demexp--development--0.1--patch-93
Summary: Server: new command line options: --ip, --port
Keywords: 

* Added following command line option to server:

 --ip: set ip address on which the server listen to
 --port: set port number on which the server listen to