diff options
author | Marko Mäkelä <marko.makela@mariadb.com> | 2018-04-26 22:46:39 +0300 |
---|---|---|
committer | Marko Mäkelä <marko.makela@mariadb.com> | 2018-04-26 22:46:39 +0300 |
commit | b4c5e4a717e3ce2c2d434106cc74417fe9a1d3dc (patch) | |
tree | 40e885b809c598784ea9a6c245163380f190b458 /sql/share | |
parent | 5569b3eb091d54664c75f13564510daa74c56288 (diff) | |
download | mariadb-git-b4c5e4a717e3ce2c2d434106cc74417fe9a1d3dc.tar.gz |
Follow-up fix to MDEV-14705: Flush log at shutdown
In the merge of commit e7f4e61f6e013e8879a64dae3ab0370ec137a121
the call fil_flush_file_spaces(FIL_TYPE_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.
Diffstat (limited to 'sql/share')
0 files changed, 0 insertions, 0 deletions