nettika/phpmyadmin
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fixed bug #479208 - Drop a table -> wrong server at left frame

Browse Source
This commit is contained in:
Loïc Chapeaux
2001-11-16 11:33:20 +00:00
parent e47994fee3
commit 6648ebaf6e
4 changed files with 8 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
ChangeLog
View File

@@ -7,6 +7,10 @@ $Source$
2001-11-16 Lo<4C>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<4C>c Chapeaux <lolo@phpheaven.net>
* libraries/tbl_dump.php3 : merged a workaround against the IE downloading

2
db_details.php3
View File

@@ -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

4
libraries/common.lib.php3
View File

@@ -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">
<!--

2
main.php3
View File

@@ -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