log.cc
void
log::logprop(prop_t n_h)
{
  std::ofstream f;
  f.open(name.c_str(), std::ios::app);
  f << "propseen";
  f << " ";
  f << n_h.n;
  f << " ";
  f << n_h.m;
  f << "\n";
  f.close();
}
// an acceptor should call logprop(n_h) when it
// receives a prepare to which it responds prepare_ok().
an acceptor should call logprop(n_h) when it
receives a prepare to which it responds prepare_ok().
an acceptor should call logprop ( n_h ) when it receives a prepare to which it responds prepare_ok () .
void
log::logprop(prop_t n_h)
{
  std::ofstream f;
  f.open(name.c_str(), std::ios::app);
  f << "propseen";
  f << " ";
  f << n_h.n;
  f << " ";
  f << n_h.m;
  f << "\n";
  f.close();
}
void log :: logprop ( prop_t n_h ) { std :: ofstream f ; f . open ( name . c_str ( ) , std :: ios :: app ) ; f << " " ; f << " " ; f << n_h . n ; f << " " ; f << n_h . m ; f << " \n " ; f . close ( ) ; }
an acceptor should call logprop(n_h) when it
receives a prepare to which it responds prepare_ok().
an acceptor should call logprop ( n_h ) when it receives a prepare to which it responds prepare_ok () .