From 6648ebaf6e7aa8fba4ae72391476e7d3d8d4a312 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Chapeaux?= <lolo@phpheaven.net>
Date: Fri, 16 Nov 2001 11:33:20 +0000
Subject: [PATCH] fixed bug #479208 - Drop a table -> wrong server at left
 frame

---
 ChangeLog                 | 4 ++++
 db_details.php3           | 2 +-
 libraries/common.lib.php3 | 4 ++--
 main.php3                 | 2 +-
 4 files changed, 8 insertions(+), 4 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index f54d59aa5..144214dc7 100755
--- a/ChangeLog
+++ b/ChangeLog
@@ -7,6 +7,10 @@ $Source$
 
 2001-11-16  Loïc Chapeaux  <lolo@phpheaven.net>
 	* tbl_indexes.php3: merged Michal fix.
+	* db_details.php3, line 47; main.php3, line 32;
+	  libraries/common.lib.php3, lines 928-929: fixed bug #479208 - Drop a
+	  Table -> wrong server at left frame thanks to Bjoern Koester
+	  & Donald Saltarelli.
 
 2001-11-15  Loïc Chapeaux  <lolo@phpheaven.net>
 	* libraries/tbl_dump.php3 : merged a workaround against the IE downloading
diff --git a/db_details.php3 b/db_details.php3
index e3ea4435a..ebd260071 100755
--- a/db_details.php3
+++ b/db_details.php3
@@ -44,7 +44,7 @@ if (!isset($message)) {
         ?>
 <script type="text/javascript" language="javascript1.2">
 <!--
-window.parent.frames['nav'].location.replace('./left.php3?lang=<?php echo $lang; ?>&amp;server=<?php echo $server; ?>&amp;db=<?php echo urlencode($db); ?>');
+window.parent.frames['nav'].location.replace('./left.php3?lang=<?php echo $lang; ?>&server=<?php echo $server; ?>&db=<?php echo urlencode($db); ?>');
 //-->
 </script>
         <?php
diff --git a/libraries/common.lib.php3 b/libraries/common.lib.php3
index 1605cf945..3d3eacfbe 100644
--- a/libraries/common.lib.php3
+++ b/libraries/common.lib.php3
@@ -925,8 +925,8 @@ if (!defined('__LIB_COMMON__')){
             echo "\n";
             $reload_url = './left.php3'
                         . '?lang=' . $GLOBALS['lang']
-                        . '&amp;server=' . $GLOBALS['server']
-                        . ((!empty($GLOBALS['db'])) ? '&amp;db=' . urlencode($GLOBALS['db']) : '');
+                        . '&server=' . $GLOBALS['server']
+                        . ((!empty($GLOBALS['db'])) ? '&db=' . urlencode($GLOBALS['db']) : '');
             ?>
 <script type="text/javascript" language="javascript1.2">
 <!--
diff --git a/main.php3 b/main.php3
index 59ff43e30..f963fc50a 100755
--- a/main.php3
+++ b/main.php3
@@ -29,7 +29,7 @@ else if (isset($reload) && $reload) {
     ?>
 <script type="text/javascript" language="javascript1.2">
 <!--
-window.parent.frames['nav'].location.replace('./left.php3?lang=<?php echo $lang; ?>&amp;server=<?php echo $server; ?>');
+window.parent.frames['nav'].location.replace('./left.php3?lang=<?php echo $lang; ?>&server=<?php echo $server; ?>');
 //-->
 </script>
     <?php