1
0
mirror of https://github.com/MariaDB/server.git synced 2025-12-24 11:21:21 +03:00

InnoDB review fixes

Fix the formatting, and remove the MONITOR interface.
Remove unnecessary wrapper functions for the callbacks,
and replace void* with ha_innobase*.
This commit is contained in:
Marko Mäkelä
2019-02-05 21:51:35 +02:00
parent 0700cde7f1
commit b3860a8621
9 changed files with 74 additions and 177 deletions

View File

@@ -251,9 +251,6 @@ icp_attempts disabled
icp_no_match disabled
icp_out_of_range disabled
icp_match disabled
pk-filter checks disabled
pk-filter_positive disabled
pk-filter_negative disabled
set global innodb_monitor_enable = all;
select name from information_schema.innodb_metrics where status!='enabled';
name