From 7487a6e839095e03c394ef04bd7f98addc60791d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= <michal@cihar.com>
Date: Tue, 15 Jun 2004 13:10:20 +0000
Subject: [PATCH] add cvs id,...

---
 libraries/select_server.lib.php | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/libraries/select_server.lib.php b/libraries/select_server.lib.php
index 51b172f35..5233be08d 100644
--- a/libraries/select_server.lib.php
+++ b/libraries/select_server.lib.php
@@ -1,4 +1,9 @@
 <?php
+/*
+ * Code for displaying server selection written by nijel
+ * $Id$
+ */
+
 if (count($cfg['Servers']) > 1) {
     if (!$cfg['DisplayServersList']) { 
     ?>
@@ -37,11 +42,6 @@ if (count($cfg['Servers']) > 1) {
                 if (!empty($val['port'])) {
                     $label .= ':' . $val['port'];
                 }
-                // loic1: skip this because it's not a so good idea to display
-                //        sockets used to everybody
-                // if (!empty($val['socket']) && PMA_PHP_INT_VERSION >= 30010) {
-                //     $label .= ':' . $val['socket'];
-                // }
             }
             // loic1: if 'only_db' is an array and there is more than one
             //        value, displaying such informations may not be a so good