Bug #80807 wrong module name for buffer_page_io
Submitted: 21 Mar 2016 13:09 Modified: 25 Mar 2016 17:47
Reporter: Daniël van Eeden (OCA) Email Updates:
Status: Closed Impact on me:
Category:MySQL Server: Documentation Severity:S3 (Non-critical)
Version:5.7.10-log, 5.7.11 OS:Any
Assigned to: Paul DuBois CPU Architecture:Any
Tags: innodb, metrics

[21 Mar 2016 13:09] Daniël van Eeden

On the page: module_buf_page
In the server: module_buffer_page

How to repeat:
mysql> SET GLOBAL innodb_monitor_enable=module_buf_page;
ERROR 1231 (42000): Variable 'innodb_monitor_enable' can't be set to the value of 'module_buf_page'
mysql> SET GLOBAL innodb_monitor_enable=module_buffer_page;
Query OK, 0 rows affected (0.00 sec)
[21 Mar 2016 13:29] MySQL Verification Team
Hello Daniël,

Thank you for the report.

[25 Mar 2016 17:47] Paul DuBois
Thank you for your bug report. This issue has been addressed in the documentation. The updated documentation will appear on our website shortly.