Changes by: David Noblet (dnoblet at cs.caltech.edu)
Date: 2005-09-21 17:37:06 -0700 (Wed, 21 Sep 2005)
Revision: 7775
Log message:

      Now failure detection while waiting for acks acts more like a timeout; all nodes that have not responded to a request at the time of failure detection are suspected dead.
      

Changes	Path
+36 -18	mojavefs/shmem/model/gc/view_change/tla/ViewChange.tla