diff --git a/ChangeLog b/ChangeLog index c01bb5da3..bccfe7d95 100755 --- a/ChangeLog +++ b/ChangeLog @@ -7,6 +7,7 @@ $Source$ 2005-11-25 Marc Delisle * main.php: move server choice into MySQL container + * libraries/select_server.lib.php: show currently selected server 2005-11-24 Sebastian Mendel * libraries/url_generating.lib.php: diff --git a/libraries/select_server.lib.php b/libraries/select_server.lib.php index ffb8c57f2..512517066 100644 --- a/libraries/select_server.lib.php +++ b/libraries/select_server.lib.php @@ -5,7 +5,7 @@ */ function PMA_select_server($form, $left) { - global $cfg, $lang, $convcharset; + global $server, $cfg, $lang, $convcharset; // Show as list? $list = $cfg['DisplayServersList'];