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

[David]

Revision: demexp--development--0.3--patch-40
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Sat Sep 11 17:48:26 CEST 2004
Standard-date: 2004-09-11 15:48:26 GMT
Modified-files: net/messages.xdr.nw
    srv/demexp-server-book.tex 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-40
Summary: new RPC max_participant_id()
Keywords: 

* srv/Id: add IdTable.find_of_int and IdTable.length operations. In
  IdTable.to_int, the call to Hashtbl.mem is suppressed (is not
  necessary). 

* net/messages.xdr: new RPC max_participant_id(). Some RPC numbering
  have been changed.

* srv/Participants: each participant as an identifier managed as a
  Id.Participant.t. the_participant_base datastructure is updated
  accordingly, as well as all calling funtions.