MySQL Bugs: #75131: Option file editor missing innodb_buffer_pool

Bug #75131	Option file editor missing innodb_buffer_pool_size
Submitted:	6 Dec 2014 15:05	Modified:	7 Mar 2015 2:56
Reporter:	Mario Beck	Email Updates:
Status:	Closed	Impact on me:	None
Category:	MySQL Workbench: Administration	Severity:	S3 (Non-critical)
Version:	6.2.4.12437 build 2427 (32bit)	OS:	Windows (Windows 7)
Assigned to:		CPU Architecture:	Any
Tags:	innodb_buffer_pool_size

Description:
The config file editor does not offer the variable "innodb_buffer_pool_size.
Also a search does not show this option.
See attached screenshot.

How to repeat:
Use workbench, connect to MySQL (I am using Enterprise 5.6.21)
Click into administration -> "Option File".
The section InnoDB does not contain the buffer_pool_size.

Use the locate option in the right top corner and search for "innodb_buffer_pool_size". It will show nothing.

BTW: This failure happens if the variable is set in my.cnf as well as if my.cnf does not contain that variable.

Suggested fix:
add the most important tuning variable of my.cnf to the configuration editor.

InnoDB Buffer Pool Size

Attachment: innodb_buffer_pool_size.png (image/png, text), 101.04 KiB.

Please check the prior attached screen-shot taken from Windows version 6.2.4. Thanks.

screenshot

Attachment: Untitled.png (image/png, text), 243.06 KiB.

I updated to version 6.2.4 and attached my screenshot. The option is still missing and cannot be found with the "locate option" function.
No changes with the latest release.

Thank you for the feedback.
It seems WB 6.2.4 32bit builds are affected.

Thanks,
Umesh

Screenshot.. 32bit

Attachment: 6_2_4-32bit.png (image/png, text), 59.42 KiB.

Screenshot..64bit

Attachment: 6_2_4-62bit.png (image/png, text), 58.41 KiB.

Posted by developer:
 
Fixed as of the upcoming MySQL Workbench 6.3.2 release, and here's the changelog entry:

The MySQL configuration file editor was missing the
"innodb_buffer_pool_size" option.

Thank you for the bug report.