[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Demexp-cvs] arch commit: demexp--development--0.3--patch-40
From: |
David |
Subject: |
[Demexp-cvs] arch commit: demexp--development--0.3--patch-40 |
Date: |
Sat, 11 Sep 2004 17:48:48 +0200 |
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.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Demexp-cvs] arch commit: demexp--development--0.3--patch-40,
David <=