show currently selected server

2005-11-25 15:36:04 +00:00
parent b9120de531
commit b1ae3a10bc
2 changed files with 2 additions and 1 deletions
--- a/1
+++ b/1
@@ -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:
--- 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'];