mirror of
https://github.com/MariaDB/server.git
synced 2026-05-06 23:25:34 +02:00
Fix for bug #13367
This commit is contained in:
parent
bd8b5dc845
commit
aeca681be4
1 changed files with 2 additions and 2 deletions
|
|
@ -230,7 +230,7 @@ buf_flush_buffered_writes(void)
|
|||
ulint len2;
|
||||
ulint i;
|
||||
|
||||
if (trx_doublewrite == NULL) {
|
||||
if (!srv_use_doublewrite_buf || trx_doublewrite == NULL) {
|
||||
os_aio_simulated_wake_handler_threads();
|
||||
|
||||
return;
|
||||
|
|
@ -507,7 +507,7 @@ buf_flush_write_block_low(
|
|||
fil_io(OS_FILE_WRITE | OS_AIO_SIMULATED_WAKE_LATER,
|
||||
FALSE, block->space, block->offset, 0, UNIV_PAGE_SIZE,
|
||||
(void*)block->frame, (void*)block);
|
||||
} else {
|
||||
} else if (srv_use_doublewrite_buf) {
|
||||
buf_flush_post_to_doublewrite_buf(block);
|
||||
}
|
||||
}
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue