1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00
This commit is contained in:
Sergei Petrunia
2015-04-12 04:59:34 +03:00
16 changed files with 10815 additions and 46 deletions

View File

@ -121,7 +121,8 @@ void Update_plan::save_explain_data_intern(MEM_ROOT *mem_root,
partition_info *part_info;
if ((part_info= table->part_info))
{
make_used_partitions_str(part_info, &explain->used_partitions);
make_used_partitions_str(mem_root, part_info, &explain->used_partitions,
explain->used_partitions_list);
explain->used_partitions_set= true;
}
else