[Demexp-cvs] arch commit: demexp--dev--0.5--patch-34

[David]

Revision: demexp--dev--0.5--patch-34
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Sun Jun 19 19:47:51 CEST 2005
Standard-date: 2005-06-19 17:47:51 GMT
Modified-files: lib/timestamp.ml.nw net/messages.xdr.nw
    srv/classification.ml.nw srv/demexp-server.ml.nw
    srv/id.ml.nw srv/io.ml.nw srv/participants.ml.nw
    srv/posbase.ml.nw srv/work.ml.nw
New-patches: address@hidden/demexp--dev--0.5--patch-34
Summary: new RPC get_timestamps()
Keywords: server

* net/messages.xdr.nw
  srv/Work
  srv/demexp-server.ml.nw: new RPC get_timestamps() to return the
  complete set of timestamps of server's object.

* lib/Timestamp: fix typing error on "block".

* srv/Classification
  srv/Id
  srv/Participants
  srv/Posbase: implement in all modules function "timestamp_list" to
  return the timestamps of the object of the respective module. The real
  code is in Id module.