From 86d16b6d0c4cac8ad58b4590ee7aa7ac7eb63226 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Chapeaux?= <lolo@phpheaven.net>
Date: Wed, 29 Aug 2001 08:35:42 +0000
Subject: [PATCH] fixed an error about whether to display table name or not at
 the top of the page

---
 sql.php3         | 6 ++++++
 tbl_replace.php3 | 3 +++
 2 files changed, 9 insertions(+)

diff --git a/sql.php3 b/sql.php3
index 23cdf0a34..0c81268c9 100755
--- a/sql.php3
+++ b/sql.php3
@@ -65,6 +65,9 @@ if (isset($btnDrop) && $btnDrop == $strNo) {
         $goto = $back;
     }
     if (file_exists('./' . $goto)) {
+        if ($goto == 'db_details.php3' && !empty($table)) {
+            unset($table);
+        }
         include('./' . ereg_replace('\.\.*', '.', $goto));
     } else {
         header('Location: ' . $cfgPmaAbsoluteUri . $goto);
@@ -233,6 +236,9 @@ else {
             if ($goto != 'main.php3') {
                 include('./header.inc.php3');
             }
+            if ($goto == 'db_details.php3' && !empty($table)) {
+                unset($table);
+            }
             include('./' . $goto);
         } // end if file_exist
         else {
diff --git a/tbl_replace.php3 b/tbl_replace.php3
index 37f4d4784..776dec474 100755
--- a/tbl_replace.php3
+++ b/tbl_replace.php3
@@ -258,6 +258,9 @@ if (!$result) {
     mysql_die($error);
 } else {
     if (file_exists('./' . $goto)) {
+        if ($goto == 'db_details.php3' && !empty($table)) {
+            unset($table);
+        }
         include('./header.inc.php3');
         $message = $strModifications;
         include('./' . ereg_replace('\.\.*', '.', $goto));