bug #1814733 win: copy db to mixed name db fails

2007-10-17 07:36:14 +00:00
parent 71e40e7144
commit d9e81cbbdc
2 changed files with 8 additions and 0 deletions
--- a/db_operations.php
+++ b/db_operations.php
@@ -51,6 +51,13 @@ if (strlen($db) &&
            //    PMA_DBI_query($local_query);
            //} else {
            // please indent ->
+            
+            // lower_case_table_names=1 `DB` becomes `db`
+            $lower_case_table_names = PMA_DBI_fetch_value('SHOW VARIABLES LIKE "lower_case_table_names"', 0, 1);
+            if ($lower_case_table_names === '1') {
+                $newname = strtolower($newname);
+            }
+            
            $local_query = 'CREATE DATABASE ' . PMA_backquote($newname);
            if (isset($db_collation)) {
                $local_query .= ' DEFAULT' . PMA_generateCharsetQueryPart($db_collation);