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

MDEV-16188 Post merge fixes: trying to get rid of Windows warnings.

This commit is contained in:
Igor Babaev
2019-02-09 10:54:26 -08:00
parent 9fe1e83df0
commit 15fe81c571
3 changed files with 3 additions and 12 deletions

View File

@ -1639,7 +1639,7 @@ void Explain_rowid_filter::print_explain_json(Explain_query *query,
writer->add_member("r_selectivity_pct").
add_double(tracker->get_r_selectivity_pct() * 100.0);
writer->add_member("r_buffer_size").
add_double(tracker->get_container_buff_size());
add_double((double) (tracker->get_container_buff_size()));
writer->add_member("r_filling_time_ms").
add_double(tracker->get_time_fill_container_ms());
}