1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-01 03:47:19 +03:00

Merge 10.2 into 10.3

This commit is contained in:
Eugene Kosov
2019-07-16 15:42:36 +03:00
155 changed files with 6020 additions and 2233 deletions

View File

@ -7554,6 +7554,7 @@ static bool mysql_inplace_alter_table(THD *thd,
if (res)
goto rollback;
DEBUG_SYNC(thd, "alter_table_inplace_before_lock_upgrade");
// Upgrade to EXCLUSIVE before commit.
if (wait_while_table_is_used(thd, table, HA_EXTRA_PREPARE_FOR_RENAME))
goto rollback;