Dead code.

2008-09-03 14:25:26 +00:00
parent e170d51522
commit 92295fc3ec
1 changed files with 0 additions and 2 deletions
--- a/libraries/auth/cookie.auth.lib.php
+++ b/libraries/auth/cookie.auth.lib.php
@@ -547,12 +547,10 @@ function PMA_auth_set_user()
        } // end foreach
    } // end if

-    $pma_server_changed = false;
    if ($GLOBALS['cfg']['AllowArbitraryServer']
     && ! empty($GLOBALS['pma_auth_server'])
     && $cfg['Server']['host'] != $GLOBALS['pma_auth_server']) {
        $cfg['Server']['host'] = $GLOBALS['pma_auth_server'];
-        $pma_server_changed = true;
    }
    $cfg['Server']['user']     = $GLOBALS['PHP_AUTH_USER'];
    $cfg['Server']['password'] = $GLOBALS['PHP_AUTH_PW'];