diff options
author | bunnei <bunneidev@gmail.com> | 2021-06-15 19:03:19 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-06-15 19:03:19 -0700 |
commit | 78651b54760b4a33984db0e0ad421185606834f8 (patch) | |
tree | 2036caaad2c7c0cd94b48536c60e4ec9687e79fe /src/common/fs/file.cpp | |
parent | f3caf536488861719976773449d5aada967a1849 (diff) | |
parent | a98b6c8f0759232fbb19ca611f954943f3f0b7af (diff) |
Merge pull request #6462 from Morph1984/proper-flush
common: fs: file: Flush the file to the disk when Flush() is called
Diffstat (limited to 'src/common/fs/file.cpp')
-rw-r--r-- | src/common/fs/file.cpp | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/common/fs/file.cpp b/src/common/fs/file.cpp index 9f3de1cb0..c84f31f3e 100644 --- a/src/common/fs/file.cpp +++ b/src/common/fs/file.cpp @@ -309,7 +309,11 @@ bool IOFile::Flush() const { errno = 0; - const auto flush_result = std::fflush(file) == 0; +#ifdef _WIN32 + const auto flush_result = std::fflush(file) == 0 && _commit(fileno(file)) == 0; +#else + const auto flush_result = std::fflush(file) == 0 && fsync(fileno(file)) == 0; +#endif if (!flush_result) { const auto ec = std::error_code{errno, std::generic_category()}; |