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

[David]

Revision: demexp--development--0.3--patch-42
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Sun Sep 12 18:08:15 CEST 2004
Standard-date: 2004-09-12 16:08:15 GMT
Modified-files: net/messages.xdr.nw srv/demexp-server.ml.nw
    srv/id.ml.nw srv/participants.ml.nw srv/work.ml.nw
New-patches: address@hidden/demexp--development--0.3--patch-42
Summary: add RPC remove_participant()
Keywords: 

* srv/Id: add IdTable.remove, IdTable.remove_of_int and
  IdTable.rev_remove functions (with tests). Rewritting of one liner
  codes to make same easier to read.

* net/messages.xdr: add RPC remove_participant().

* srv/Work, demexp-server & Participants: implement RPC
  remove_participant() (with tests).