1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

10.0-base merge

This commit is contained in:
Sergei Golubchik
2014-02-26 15:28:07 +01:00
1449 changed files with 6135 additions and 2203 deletions

View File

@ -4835,6 +4835,11 @@ int get_all_tables(THD *thd, TABLE_LIST *tables, COND *cond)
if (fill_schema_table_names(thd, tables, db_name, table_name))
continue;
}
else if (schema_table_idx == SCH_TRIGGERS &&
db_name == &INFORMATION_SCHEMA_NAME)
{
continue;
}
else
{
if (!(table_open_method & ~OPEN_FRM_ONLY) &&