From 236198619de1e7d0283f9a163f7c7c1bb3d986bb Mon Sep 17 00:00:00 2001
From: Sebastian Mendel <cybot_tm@users.sourceforge.net>
Date: Wed, 17 Oct 2007 08:05:57 +0000
Subject: [PATCH] should save before committing ... (missed some comments)

---
 sql.php | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/sql.php b/sql.php
index 73e0d87df..bb2bbe8b3 100644
--- a/sql.php
+++ b/sql.php
@@ -341,7 +341,11 @@ if (isset($GLOBALS['show_as_php']) || !empty($GLOBALS['validatequery'])) {
 
     // Checks if the current database has changed
     // This could happen if the user sends a query like "USE `database`;"
-    /*
+    /**
+     * commented out auto-switching to active database - really required?
+     * bug #1814718 win: table list disappears (mixed case db names)
+     * https://sourceforge.net/support/tracker.php?aid=1814718
+     * @todo RELEASE test and comit or rollback before release
     $current_db = PMA_DBI_fetch_value('SELECT DATABASE()');
     if ($db !== $current_db) {
         $db     = $current_db;