From b1ae3a10bc3536d464b6a3e8bba14bfde2981b34 Mon Sep 17 00:00:00 2001
From: Marc Delisle <marc@infomarc.info>
Date: Fri, 25 Nov 2005 15:36:04 +0000
Subject: [PATCH] show currently selected server

---
 ChangeLog                       | 1 +
 libraries/select_server.lib.php | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index c01bb5da3..bccfe7d95 100755
--- a/ChangeLog
+++ b/ChangeLog
@@ -7,6 +7,7 @@ $Source$
 
 2005-11-25 Marc Delisle  <lem9@users.sourceforge.net>
     * main.php: move server choice into MySQL container
+    * libraries/select_server.lib.php: show currently selected server
 
 2005-11-24 Sebastian Mendel <cybot_tm@users.sourceforge.net>
     * 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'];