Ensure to flush buffers before closing file.

juanjosegarciaripoll · Feb 22, 2018 · 90e5866 · 90e5866
1 parent eaa6880
commit 90e5866
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/sdf/odata_file.cc b/src/sdf/odata_file.cc
@@ -114,6 +114,7 @@ void
 OutDataFile::close()
 {
   if (is_open()) {
+    _stream.flush();
     _stream.close();
     DataFile::close();
   }