1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-27 18:02:13 +03:00

Correction for the fix of the bug mdev-6874.

This commit is contained in:
Igor Babaev
2014-10-19 09:50:50 -07:00
parent ec89abfef4
commit d24919969a
4 changed files with 5 additions and 7 deletions

View File

@ -4463,13 +4463,7 @@ public:
}
void cleanup()
{
/*
Only called for top-level select_results, usually select_send,
and for the results of subquery engines
(select_<something>_subselect).
*/
send_records= 0;
DBUG_ASSERT(false); /* purecov: inspected */
}
void set_thd(THD *thd_arg)
{