Method flush

src/core/utils/WriteStream.cpp:59–63

* Flushes the data in the buffer to the target storage. Note that the data is not guaranteed to * be immediately written to the storage device; it is only flushed to the system buffer. */

   * be immediately written to the storage device; it is only flushed to the system buffer.
   */
  void flush() override {
    if (file) {
      fflush(file);
    }
  }

 private:
  FILE* file = nullptr;