[Demexp-cvs] arch commit: demexp--development--0.3--patch-24

[David]

Revision: demexp--development--0.3--patch-24
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Fri Jul 16 15:34:14 CEST 2004
Standard-date: 2004-07-16 13:34:14 GMT
Modified-files: net/messages.xdr.nw
    srv/demexp-server-book.tex srv/demexp-server.ml.nw
    srv/participants.ml.nw srv/work.ml.nw
New-patches: address@hidden/demexp--development--0.3--patch-24
Summary: create rpc goodbye() and rpc add_participant()
Keywords: 

* net/Messages, srv/Work, srv/demexp-server: create rpc goodbye() to
  finish a client session. With test.

* net/Messages, srv/Work, srv/demexp-server: create rpc
  add_participant() to add a new entry in Participant base. With test.

* net/Messages: cookie_t is no longer _abstract. It complicated the code.

* net/Messages: add following return code:
   rt_participant_already_exists = 402, /* we wanted to add a participant that
                                           already exists */
   rt_participant_not_found = 403, /* the requested participant does not exist
                                      in the Participant base */

* srv/Participants: exception Participant_already_in_base renamed in
  Already_in_base.