COrnell Data EXchange (CODEX): StaticByzantineQuorumSystem.cc Source File

00001 /*
00002  * Copyright 2003 Michael A. Marsh, Cornell University. All rights reserved.
00003  * This software is released under the modified BSD license.
00004  * See the file LICENSE in the top-level directory for details.
00005  */
00006 //
00007 // $Id: StaticByzantineQuorumSystem.cc,v 1.3 2004/05/19 15:56:56 mmarsh Exp $
00008 //
00009 // $Log: StaticByzantineQuorumSystem.cc,v $
00010 // Revision 1.3  2004/05/19 15:56:56  mmarsh
00011 // *** empty log message ***
00012 //
00013 // Revision 1.2  2003/11/04 22:31:50  mmarsh
00014 // *** empty log message ***
00015 //
00016 //
00017 
00018 #include <iostream>
00019 #include "StaticByzantineQuorumSystem.h"
00020 
00021 using namespace CODEX_Quorum;
00022 
00023 void
00024 QSESBQSReturnsBad::derivedMsg() const
00025 {
00026    cerr << "\n   StaticBQS got "
00027         << m_got
00028         << " RemoteServerReturns, needed "
00029         << m_needed;
00030 }