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

MDEV-16188 Post merge fixes: more for TokuDB

This commit is contained in:
Igor Babaev
2019-02-08 12:32:31 -08:00
parent 651347b6c1
commit 9fe1e83df0
19 changed files with 58 additions and 42 deletions

View File

@ -1357,7 +1357,8 @@ int Explain_table_access::print_explain(select_result_sink *output, uint8 explai
if (rowid_filter)
{
r_rows_str.append(" (");
r_rows_str.append_ulonglong(rowid_filter->tracker->get_r_selectivity_pct() * 100.0);
r_rows_str.append_ulonglong(
(ulonglong) (rowid_filter->tracker->get_r_selectivity_pct() * 100.0));
r_rows_str.append("%)");
}
item_list.push_back(new (mem_root)