These should go to ['userconf']

This commit is contained in:
Marc Delisle
2008-01-01 15:03:50 +00:00
parent 85983dd6e7
commit 358dfaf08c
2 changed files with 14 additions and 14 deletions

View File

@@ -901,10 +901,10 @@ if (! defined('PMA_MINIMUM_COMMON')) {
/**
* some resetting has to be done when switching servers
*/
if (isset($_SESSION['previous_server']) && $_SESSION['previous_server'] != $GLOBALS['server']) {
unset($_SESSION ['navi_limit_offset']);
if (isset($_SESSION['userconf']['previous_server']) && $_SESSION['userconf']['previous_server'] != $GLOBALS['server']) {
unset($_SESSION['userconf']['navi_limit_offset']);
}
$_SESSION['previous_server'] = $GLOBALS['server'];
$_SESSION['userconf']['previous_server'] = $GLOBALS['server'];
} // end server connecting