public void restart(){
  Logger.println("(ExecutionManager.restart) Starting execution manager");
  stoppedMsgsLock.lock();
  this.stopped=false;
  while (!stoppedMsgs.isEmpty()) {
    ConsensusMessage pm=stoppedMsgs.remove();
    if (pm.getNumber() > tomLayer.getLastExec())     acceptor.processMessage(pm);
  }
  stoppedMsgsLock.unlock();
  Logger.println("(ExecutionManager.restart) Finished stopped messages processing");
}

public void restart ( ) { Logger . println ( "(ExecutionManager.restart) Starting execution manager" ) ; stoppedMsgsLock . lock ( ) ; this . stopped = false ; while ( ! stoppedMsgs . isEmpty ( ) ) { ConsensusMessage pm = stoppedMsgs . remove ( ) ; if ( pm . getNumber ( ) > tomLayer . getLastExec ( ) ) acceptor . processMessage ( pm ) ; } stoppedMsgsLock . unlock ( ) ; Logger . println ( "(ExecutionManager.restart) Finished stopped messages processing" ) ; }
restarts this execution manager
