1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-29 05:21:33 +03:00

typos in comments, minor stylistic edits

This commit is contained in:
Sergei Golubchik
2015-10-05 09:47:45 +02:00
parent cf50e13fbd
commit e8daa41885
6 changed files with 19 additions and 20 deletions

View File

@ -1011,6 +1011,11 @@ public:
*/
uint top_join_tab_count;
uint send_group_parts;
/*
This counts how many times do_select() was invoked for this JOIN.
It's used to restrict Pushdown_query::execute() only to the first
do_select() invocation.
*/
uint do_select_call_count;
/*
True if the query has GROUP BY.