mirror of
https://github.com/MariaDB/server.git
synced 2026-05-16 11:57:38 +02:00
Merge 10.2 into 10.3
This commit is contained in:
commit
450c017c2d
35 changed files with 439 additions and 42 deletions
|
|
@ -2108,7 +2108,7 @@ files_checked:
|
|||
to the data files and truncate or delete the log.
|
||||
Unless --export is specified, no further change to
|
||||
InnoDB files is needed. */
|
||||
ut_ad(!srv_force_recovery);
|
||||
ut_ad(srv_force_recovery <= SRV_FORCE_IGNORE_CORRUPT);
|
||||
ut_ad(srv_n_log_files_found <= 1);
|
||||
ut_ad(recv_no_log_write);
|
||||
buf_flush_sync_all_buf_pools();
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue