From 97f979da4dfada25536ce6a4e247e60abb112b5d Mon Sep 17 00:00:00 2001
From: Garvin Hicking <me@supergarv.de>
Date: Tue, 22 Apr 2003 16:50:43 +0000
Subject: [PATCH] Propagate hash value

---
 db_details_common.php3    | 2 +-
 libraries/common.lib.php3 | 4 ++--
 main.php3                 | 2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/db_details_common.php3 b/db_details_common.php3
index 9e62e8f1f..0cfe0dc4d 100644
--- a/db_details_common.php3
+++ b/db_details_common.php3
@@ -47,7 +47,7 @@ if (!isset($message)) {
         ?>
 <script type="text/javascript" language="javascript1.2">
 <!--
-window.parent.frames['nav'].location.replace('./left.php3?<?php echo PMA_generate_common_url($db, '', '&'); ?>');
+window.parent.frames['nav'].location.replace('./left.php3?<?php echo PMA_generate_common_url($db, '', '&'); ?>&hash=' + window.parent.frames['nav'].document.hashform.hash.value);
 //-->
 </script>
         <?php
diff --git a/libraries/common.lib.php3 b/libraries/common.lib.php3
index 40cc61e65..e71fbfeba 100644
--- a/libraries/common.lib.php3
+++ b/libraries/common.lib.php3
@@ -1261,13 +1261,13 @@ h1    {font-family: sans-serif; font-size: large; font-weight: bold}
             // Reloads the navigation frame via JavaScript if required
             if (isset($GLOBALS['reload']) && $GLOBALS['reload']) {
                 echo "\n";
-                $reload_url = './left.php3?' . PMA_generate_common_url((isset($GLOBALS['db']) ? $GLOBALS['db'] : ''), '', '&');
+                $reload_url = './left.php3?' . PMA_generate_common_url((isset($GLOBALS['db']) ? $GLOBALS['db'] : ''), '', '&')
                 ?>
     <script type="text/javascript" language="javascript1.2">
     <!--
     if (typeof(window.parent) != 'undefined'
         && typeof(window.parent.frames['nav']) != 'undefined') {
-        window.parent.frames['nav'].location.replace('<?php echo $reload_url; ?>');
+        window.parent.frames['nav'].location.replace('<?php echo $reload_url; ?>' + window.parent.frames['nav'].document.hashform.hash.value);
     }
     //-->
     </script>
diff --git a/main.php3 b/main.php3
index e03df64fb..08aa211e7 100755
--- a/main.php3
+++ b/main.php3
@@ -43,7 +43,7 @@ else if (isset($reload) && $reload) {
     ?>
 <script type="text/javascript" language="javascript1.2">
 <!--
-window.parent.frames['nav'].location.replace('./left.php3?<?php echo PMA_generate_common_url('', '', '&'); ?>');
+window.parent.frames['nav'].location.replace('./left.php3?<?php echo PMA_generate_common_url('', '', '&'); ?>&hash=' + window.parent.frames['nav'].document.hashform.hash.value);
 //-->
 </script>
     <?php