diff --git a/ChangeLog b/ChangeLog index ac755a64d..31cff2de6 100755 --- a/ChangeLog +++ b/ChangeLog @@ -6,6 +6,9 @@ $Id$ $Source$ +2006-07-13 Marc Delisle + * main.php: put emphasis on server name + 2006-07-12 Marc Delisle * Documentation.html: patch #1519351, security alerts, thanks to Juergen Wind - windkiel diff --git a/main.php b/main.php index bb587f8d5..121fe4052 100644 --- a/main.php +++ b/main.php @@ -74,16 +74,22 @@ if ($server > 0) { // } $mysql_cur_user_and_host = PMA_DBI_fetch_value('SELECT USER();'); - echo '

MySQL - ' . PMA_MYSQL_STR_VERSION - .'

' . "\n"; + + // should we add the port info here? + $short_server_info = (!empty($GLOBALS['cfg']['Server']['verbose']) + ? $GLOBALS['cfg']['Server']['verbose'] + : $GLOBALS['cfg']['Server']['host']); + echo '

' . $short_server_info .'

' . "\n"; + unset($short_server_info); } else { // Case when no server selected - echo '

MySQL

' . "\n"; + //echo '

MySQL

' . "\n"; } if ($server > 0) { echo '