mirror of https://github.com/MariaDB/server
Browse Source
In commit e7f4e61f6e
the call fil_flush_file_spaces(FIL_LOG) is necessary.
Tablespaces will be flushed as part of the redo log
checkpoint, but the redo log will not necessarily
be flushed, depending on innodb_flush_method.
pull/732/head
2 changed files with 6 additions and 0 deletions
Loading…
Reference in new issue