Changes by: David Noblet (dnoblet at cs.caltech.edu)
Date: 2005-12-14 16:55:51 -0800 (Wed, 14 Dec 2005)
Revision: 8297
Log message:

      Leave has finally been implemented, the consensus stage is temporarily disabled (while we do some testing), and another bug arising from the case where the NV stage is reached without an IVC stage has been fixed.
      
      Just as a reminder, when we re-enable the consensus stage we have to remember that there are still some bugs to fix with repect to the stage being improperly entered more than once (i.e. another consensus is started when a node is already participating in one).