Bug #91516 | innodb_buffer_pool_size change regular | ||
---|---|---|---|
Submitted: | 2 Jul 2018 9:03 | Modified: | 24 Jul 2018 19:10 |
Reporter: | Xianglong Kou | Email Updates: | |
Status: | Closed | Impact on me: | |
Category: | MySQL Server: Documentation | Severity: | S3 (Non-critical) |
Version: | 8.0.11 | OS: | Any (3.10.0-229.el7.x86_64) |
Assigned to: | CPU Architecture: | x86 |
[2 Jul 2018 9:03]
Xianglong Kou
[2 Jul 2018 12:19]
MySQL Verification Team
Hi, Thank you for your bug report. If you look at the code you will easily see that this variable is always rounded to a value that depends on the page size. However, I do not see this mentioned anywhere in our documentation. Verified as a documentation bug.
[24 Jul 2018 19:10]
Daniel Price
Posted by developer: The referenced content has been revised. Changes should appear online within 24 hours. Thank you for the bug report.