From d25f96a3831e1d4e8e747ba0202c080ca5cc1db0 Mon Sep 17 00:00:00 2001
From: Marc Delisle <marc@infomarc.info>
Date: Sat, 18 Aug 2007 20:20:45 +0000
Subject: [PATCH] dead code

---
 main.php | 9 ---------
 1 file changed, 9 deletions(-)

diff --git a/main.php b/main.php
index 122b8e25d..a3846eda7 100644
--- a/main.php
+++ b/main.php
@@ -70,23 +70,14 @@ if ($server > 0) {
     if (!empty($cfg['Server']['verbose']) && $GLOBALS['cfg']['ShowServerInfo']) {
         $server_info .= ')';
     }
-    // loic1: skip this because it's not a so good idea to display sockets
-    //        used to everybody
-    // if (!empty($cfg['Server']['socket']) && PMA_PHP_INT_VERSION >= 30010) {
-    //     $server_info .= ':' . $cfg['Server']['socket'];
-    // }
     $mysql_cur_user_and_host = PMA_DBI_fetch_value('SELECT USER();');
 
-
     // should we add the port info here?
     $short_server_info = (!empty($GLOBALS['cfg']['Server']['verbose'])
                         ? $GLOBALS['cfg']['Server']['verbose']
                         : $GLOBALS['cfg']['Server']['host']);
     echo '<h1 xml:lang="en" dir="ltr">' . $short_server_info .'</h1>' . "\n";
     unset($short_server_info);
-} else {
-    // Case when no server selected
-    //echo '<h1 xml:lang="en" dir="ltr">MySQL</h1>' . "\n";
 }
 
 if ($server > 0) {