diff options
Diffstat (limited to 'innobase/os/os0file.c')
| -rw-r--r-- | innobase/os/os0file.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/innobase/os/os0file.c b/innobase/os/os0file.c index 9fecf2c04fd..363ed587c4e 100644 --- a/innobase/os/os0file.c +++ b/innobase/os/os0file.c @@ -582,6 +582,13 @@ os_file_flush( return(TRUE); } + /* Since Linux returns EINVAL if the 'file' is actually a raw device, + we choose to ignore that error */ + + if (errno == EINVAL) { + return(TRUE); + } + fprintf(stderr, "InnoDB: Error: the OS said file flush did not succeed\n"); |