1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-29 05:21:33 +03:00

manual merge fix of bug#42438 in mysql-next-mr-merge

This commit is contained in:
Mattias Jonsson
2010-03-02 00:05:30 +01:00
parent d34ded9790
commit 4bce198ce9
5 changed files with 28 additions and 10 deletions

View File

@ -4377,6 +4377,8 @@ open_tables_acquire_upgradable_mdl(THD *thd, TABLE_LIST *tables_start,
MDL_request_list mdl_requests;
TABLE_LIST *table;
DEBUG_SYNC(thd, "open_tables_acquire_upgradable_mdl");
for (table= tables_start; table && table != tables_end;
table= table->next_global)
{