Method flush

SRC/recorder/PatternRecorder.cpp:179–184

}

int PatternRecorder::flush(void) {
  if (theFile.is_open() && theFile.good()) {
    theFile.flush();
  }
  return 0;
}