| Bug #90031 | Deprecated option in Options File: innodb_additional_mem_pool_size | ||
|---|---|---|---|
| Submitted: | 12 Mar 2018 18:25 | Modified: | 13 Mar 2018 19:02 |
| Reporter: | Shem Sargent | Email Updates: | |
| Status: | Closed | Impact on me: | |
| Category: | MySQL Workbench: Administration | Severity: | S3 (Non-critical) |
| Version: | 6.3.10 | OS: | Any |
| Assigned to: | CPU Architecture: | Any | |
[12 Mar 2018 18:25]
Shem Sargent
[12 Mar 2018 22:21]
MySQL Verification Team
Thank you for the bug report. Please attach (use Files tab for) a screenshot of innodb_additional_mem_pool_size in InnoDB->memory section, I couldn't find in Windows 10 Pro. Thanks in advance.
[13 Mar 2018 19:02]
Shem Sargent
Thanks for the quick response. I can no longer find that option in the interface either. Not sure what changed, but I'll close this issue and not trouble you further unless I can recreate it at a later time.
