Bug #29530 | undocumented options in 'create logfile group' & 'create tablespace' statements | ||
---|---|---|---|
Submitted: | 3 Jul 2007 20:15 | Modified: | 27 Jul 2007 12:59 |
Reporter: | Sergei Tkachenko | Email Updates: | |
Status: | Closed | Impact on me: | |
Category: | MySQL Server: Documentation | Severity: | S3 (Non-critical) |
Version: | 5.1 | OS: | Any |
Assigned to: | Jon Stephens | CPU Architecture: | Any |
Tags: | undocumented option logfile group tablespace |
[3 Jul 2007 20:15]
Sergei Tkachenko
[3 Jul 2007 20:38]
Sveta Smirnova
Thank you for the report. Verified as described.
[26 Jul 2007 9:27]
Jon Stephens
Thank you for taking the time to write to us, but this is not a bug. Please double-check the documentation available at http://dev.mysql.com/doc/ and the instructions on how to report a bug at http://bugs.mysql.com/how-to-report.php These options currently don't do anything - note that we don't have any tests for them, either.
[27 Jul 2007 7:28]
Jon Stephens
Discussed with Sveta, who says since the options don't cause a syntax error, they should be documented as present but having no effect at this time. So that's what will be done.
[27 Jul 2007 11:20]
Jon Stephens
And so it was done. :) (Only the 5.1 & 5.2 versions of the Manual were affected.)
[27 Jul 2007 12:59]
Jon Stephens
Thank you for your bug report. This issue has been addressed in the documentation. The updated documentation will appear on our website shortly, and will be included in the next release of the relevant products.