diff options
| author | Morph <39850852+Morph1984@users.noreply.github.com> | 2021-06-13 07:47:57 -0400 |
|---|---|---|
| committer | Morph <39850852+Morph1984@users.noreply.github.com> | 2021-06-13 07:47:57 -0400 |
| commit | d7537c66385b812e00af904a01c8c438b25986be (patch) | |
| tree | fe92de3d998de6742f4506de9fcf7b798252e37c /src/common/fs/file.cpp | |
| parent | 88f735f55a8628612b1985e009761a6af1464ac1 (diff) | |
common: fs: file: Flush the file to the disk when Flush() is called
std::fflush does not guarantee that file buffers are flushed to the disk.
Use _commit on Windows and fsync on all other OSes to ensure that the file is flushed to the disk.
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 9f3de1cb03..c84f31f3e1 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()}; |