diff --git a/libraries/common.inc.php b/libraries/common.inc.php
index f56d2d6de1..faf47d38b7 100644
--- a/libraries/common.inc.php
+++ b/libraries/common.inc.php
@@ -418,16 +418,6 @@ if (! defined('PMA_MINIMUM_COMMON')) {
 
         // TODO: Set SQL modes too.
 
-        /**
-         * some resetting has to be done when switching servers
-         */
-        if (isset($_SESSION['tmpval']['previous_server'])
-            && $_SESSION['tmpval']['previous_server'] != $GLOBALS['server']
-        ) {
-            unset($_SESSION['tmpval']['navi_limit_offset']);
-        }
-        $_SESSION['tmpval']['previous_server'] = $GLOBALS['server'];
-
     } else { // end server connecting
         $response = Response::getInstance();
         $response->getHeader()->disableMenuAndConsole();