dead code

This commit is contained in:
Marc Delisle
2007-08-18 20:20:45 +00:00
parent ec57102634
commit d25f96a383

View File

@@ -70,23 +70,14 @@ if ($server > 0) {
if (!empty($cfg['Server']['verbose']) && $GLOBALS['cfg']['ShowServerInfo']) { if (!empty($cfg['Server']['verbose']) && $GLOBALS['cfg']['ShowServerInfo']) {
$server_info .= ')'; $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();'); $mysql_cur_user_and_host = PMA_DBI_fetch_value('SELECT USER();');
// should we add the port info here? // should we add the port info here?
$short_server_info = (!empty($GLOBALS['cfg']['Server']['verbose']) $short_server_info = (!empty($GLOBALS['cfg']['Server']['verbose'])
? $GLOBALS['cfg']['Server']['verbose'] ? $GLOBALS['cfg']['Server']['verbose']
: $GLOBALS['cfg']['Server']['host']); : $GLOBALS['cfg']['Server']['host']);
echo '<h1 xml:lang="en" dir="ltr">' . $short_server_info .'</h1>' . "\n"; echo '<h1 xml:lang="en" dir="ltr">' . $short_server_info .'</h1>' . "\n";
unset($short_server_info); unset($short_server_info);
} else {
// Case when no server selected
//echo '<h1 xml:lang="en" dir="ltr">MySQL</h1>' . "\n";
} }
if ($server > 0) { if ($server > 0) {