diff options
author | unknown <heikki@donna.mysql.fi> | 2001-12-27 00:56:40 +0200 |
---|---|---|
committer | unknown <heikki@donna.mysql.fi> | 2001-12-27 00:56:40 +0200 |
commit | cb25ddd100f38ffb96430e0b7b00290140eb766d (patch) | |
tree | 9ec800a92b88b5cdab74cdf65929acac1472c2b0 /innobase | |
parent | 1b6afd02b0498733be46767d1095930676f2fd02 (diff) | |
download | mariadb-git-cb25ddd100f38ffb96430e0b7b00290140eb766d.tar.gz |
os0file.c:
Make os_file_flush to ignore the error we get from a raw device in fsync
innobase/os/os0file.c:
Make os_file_flush to ignore the error we get from a raw device in fsync
Diffstat (limited to 'innobase')
-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"); |