Bug #70003 MySQL Admin 'Options Files' has duplicated items, new Defaults needs adjusts
Submitted: 12 Aug 2013 21:32 Modified: 25 Aug 2014 15:47
Reporter: Rafael Madureira Email Updates:
Status: Closed Impact on me:
None 
Category:MySQL Workbench: Administration Severity:S3 (Non-critical)
Version:5.2.47 CE, 6.0.6 OS:Any
Assigned to: CPU Architecture:Any
Tags: duplicated, innodb_buffer_pool_size, Options Files, performance_schema

[12 Aug 2013 21:32] Rafael Madureira
Description:
MySQL Admin 'Options Files' has duplicated items: 1.
MySQL Admin 'Options Files' needs adjust to reflect MySQL Server new Defaults for performance_schema: 2.

1. MySQL Admin has duplicated options at 'Options FIles', 'InnoDB' tab:
'Buffer pool' section and 'Memory' section, both have 'innodb_buffer_pool_size'.

2. As of 5.6.6, MySQL Server 'performance_schema' defaults is ON, MySQL Admin 'Performance' section: 'performance_schema' option needs a configurable drop-down box.

How to repeat:
Install MySQL Workbench 5.2.47 CE and open the 'Server Administration'.

At left menu ('Tasks and Object Browser'), click in 'Option File'.

1. Click in 'InnoDB' tab, observe the duplicated items at 'Buffer pool' and 'Memory Section'

2. Click in 'Performance' tab, go to 'Performance Schema' section, observe that 'performance_schema' options has no configurable parameter.

Suggested fix:
1. I suggest removing 'Buffer pool' section and move 'Memory' section up, to where 'Buffer pool' was.

2 'performance_schema' option now need a drop-down box, with 'ON' and 'OFF'.
When the check box is off, the drop-down must be disabled (greyed) and display 'ON' (I suggest add in the 'help text' (at right side of the drop-down), a helpfull text telling about the extra memory needed, like 'Real time performance monitor, uses +400MB of memory' ).
The absence of this information leads to misunderstanding of memory consuption, ie: http://bugs.mysql.com/bug.php?id=68287
[12 Aug 2013 21:36] Rafael Madureira
The first subject is duplicated with: http://bugs.mysql.com/bug.php?id=69406
Sorry for that.
[21 Aug 2013 10:46] Umesh Shastry
Hello Rafael,

Thank you for the report.
Verified as described.

Thanks,
Umesh
[24 Jul 2014 12:40] Milosz Bodzek
Posted by developer:
 
ad 1 - fixed
ad 2 - no needed drop-down box, checkbox is enoght
[25 Aug 2014 15:47] Philip Olson
Fixed as of the upcoming MySQL Workbench 6.2.2 release, and here's the changelog entry:

The "innodb_buffer_pool_size" option was listed twice under option file
management.

Thank you for the bug report.