Changes by: David Noblet (dnoblet at cs.caltech.edu)
Date: 2005-09-14 18:26:13 -0700 (Wed, 14 Sep 2005)
Revision: 2005
Log message:

      Fixed bug where join requests would be sent too often. Also fixed bug where a duplicate view change would be initiated if a node doesn't respond to an initiate view change message.
      

Changes  Path
+26 -10 mojavefs/shmem/model/gc/view_change/tla/ViewChange.tla