From a56d76b55d507b50b851990287c5d6e815971a2a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= <michal@cihar.com>
Date: Wed, 25 Aug 2004 17:37:46 +0000
Subject: [PATCH] Don't show port after verbose name (bug #1013401).

---
 ChangeLog | 3 +++
 main.php  | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 2157b1662..c02b34550 100755
--- a/ChangeLog
+++ b/ChangeLog
@@ -5,6 +5,9 @@ phpMyAdmin - Changelog
 $Id$
 $Source$
 
+2004-08-25 Michal Čihař  <michal@cihar.com>
+    * main.php: Don't show port after verbose name (bug #1013401).
+
 2004-08-23 Michal Čihař  <michal@cihar.com>
     * scripts/create-release.sh: Support for snapshots outside sourceforge.
     * libraries/export/sql.php: Fix exporting of TIMESTAMP (bug #1013730).
diff --git a/main.php b/main.php
index 8b642998f..96c489cf7 100644
--- a/main.php
+++ b/main.php
@@ -95,8 +95,8 @@ if ($server > 0) {
         $server_info = $cfg['Server']['verbose'];
     } else {
         $server_info = $cfg['Server']['host'];
+        $server_info .= (empty($cfg['Server']['port']) ? '' : ':' . $cfg['Server']['port']);
     }
-    $server_info            .= (empty($cfg['Server']['port']) ? '' : ':' . $cfg['Server']['port']);
     // 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) {