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: | |
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
[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]
MySQL Verification Team
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.