add fsync to fflushordie

lixiaosi33 · Jan 28, 2016 · 4c7919a · 4c7919a
1 parent cd1bb59
commit 4c7919a
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/Source/Common/fileutil.cpp b/Source/Common/fileutil.cpp
@@ -413,10 +413,23 @@ void fprintfOrDie(FILE* f, const char* fmt, ...)
 void fflushOrDie(FILE* f)
 {
     int rc = fflush(f);
+
     if (rc != 0)
     {
         RuntimeError("error flushing to file: %s", strerror(errno));
     }
+
+#ifndef _WIN32
+    int fd = fileno(f);
+
+    if (fd == -1)
+    {
+        RuntimeError("unable to convert file handle to file descriptor: %s", strerror(errno));
+    }
+
+    // Ensure that all data is synced before returning from this function
+    fsync(fd);
+#endif
 }
 
 // ----------------------------------------------------------------------------