diff --git a/ChangeLog b/ChangeLog index 765aa9d94..93afe7049 100755 --- a/ChangeLog +++ b/ChangeLog @@ -5,6 +5,9 @@ phpMyAdmin - Changelog $Id$ $Source$ +2002-07-13 Alexander M. Turek + * Documentation.html: News about bug #540671. + 2002-07-12 Alexander M. Turek * main.php3: Fixed a bug of the SHOW GRANTS patch (bug #568174: Wildcards escaped in db name), thanks to Björn T. Hallberg (bth). diff --git a/Documentation.html b/Documentation.html index 4044e2622..081d9eb7a 100755 --- a/Documentation.html +++ b/Documentation.html @@ -1572,17 +1572,13 @@ $cfg['PmaAbsoluteUri'] = (!empty($_SERVER['HTTPS']) ? 'https' : 'http') . '://'

- I'm running MySQL 4.0.1 on a Windows NT machine. Each time I - create a table the table name is changed to lowercase. + I'm running MySQL <= 4.0.1 having lower_case_table_names set + to 1. If I create a new table with a capital letter in its name it is + changed to lowercase as it should. But if I try to DROP this table MySQL + is unable to find the corresponding file.
- This seems to be a bug of MySQL 4.0.1 because it also appears when - using the MySQL commandline. Currently we only know about its appearance on - Windows NT systems, but it is possible that it appears on other - systems, too.
- If you encounter this bug together with another OS and/or MySQL version or - you know how to work around it, please post a message into - - our bug tracker at SourceForge. + This is a bug of MySQL <= 4.0.1. Please upgrade to at least + MySQL 4.0.2 or turn off your lower_case_table_names directive.