[Demexp-cvs] arch commit: demexp--cduce--0.3--patch-45

[David]

Revision: demexp--cduce--0.3--patch-45
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Sun Mar  6 18:54:37 CET 2005
Standard-date: 2005-03-06 17:54:37 GMT
Modified-files: Makefile net/messages.xdr.nw
    srv/demexp-server.ml.nw srv/posbase.ml.nw srv/work.ml.nw
New-patches: address@hidden/demexp--cduce--0.3--patch-45
Summary: new RPC get_vote()
Keywords: server

* Makefile: do autotest in debug mode.

* net/messages.xdr.nw: New RPC get_vote() to get one's own vote or the
  vote of a delegate.

* srv/demexp-server.ml
  srv/Work: 

  - new code to handle the RPC (with autotests);

  - new helper function "string_of_int_list".

* srv/Posbase: new function "get_vote" that returns the vote of a
  participant.