mirror of
https://github.com/MariaDB/server.git
synced 2025-07-27 18:02:13 +03:00
Merge: mysql-5.0-bugteam -> mysql-5.1-bugteam
This commit is contained in:
@ -1245,6 +1245,9 @@ QUICK_INDEX_MERGE_SELECT::~QUICK_INDEX_MERGE_SELECT()
|
||||
quick->file= NULL;
|
||||
quick_selects.delete_elements();
|
||||
delete pk_quick_select;
|
||||
/* It's ok to call the next two even if they are already deinitialized */
|
||||
end_read_record(&read_record);
|
||||
free_io_cache(head);
|
||||
free_root(&alloc,MYF(0));
|
||||
DBUG_VOID_RETURN;
|
||||
}
|
||||
|
Reference in New Issue
Block a user