mirror of
https://github.com/MariaDB/server.git
synced 2025-07-30 16:24:05 +03:00
Merge mysql.com:/home/mydev/mysql-4.0-4000
into mysql.com:/home/mydev/mysql-4.1-4100
This commit is contained in:
@ -868,6 +868,13 @@ TABLE *open_table(THD *thd,const char *db,const char *table_name,
|
||||
{
|
||||
if (table->version != refresh_version)
|
||||
{
|
||||
if (! refresh)
|
||||
{
|
||||
/* Ignore flush for now, but force close after usage. */
|
||||
thd->version= table->version;
|
||||
continue;
|
||||
}
|
||||
|
||||
/*
|
||||
** There is a refresh in progress for this table
|
||||
** Wait until the table is freed or the thread is killed.
|
||||
|
Reference in New Issue
Block a user