From 92295fc3ec78cdce9406b69118ff5d73fdcbea93 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= Date: Wed, 3 Sep 2008 14:25:26 +0000 Subject: [PATCH] Dead code. --- libraries/auth/cookie.auth.lib.php | 2 -- 1 file changed, 2 deletions(-) diff --git a/libraries/auth/cookie.auth.lib.php b/libraries/auth/cookie.auth.lib.php index 765c73668..9738d76c7 100644 --- 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'];