|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Digest | |
org.javagroups.protocols |
Uses of Digest in org.javagroups.protocols |
Methods in org.javagroups.protocols that return Digest | |
Digest |
FLUSH.handleFlush(java.util.Vector flush_dests,
long[] highest_seqnos)
Called by coordinator running the FLUSH protocol. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |