From b1398ff4d5b4a4d7e76c68a883f59a3d6edf34dc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lo=C3=AFc=20Chapeaux?= Date: Thu, 22 Nov 2001 20:34:38 +0000 Subject: [PATCH] merged patch #479083 - display name of server after db/table thanks to Martin Jespersen --- header.inc.php3 | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/header.inc.php3 b/header.inc.php3 index b1497f4e2..037a3e742 100755 --- a/header.inc.php3 +++ b/header.inc.php3 @@ -139,10 +139,12 @@ echo "\n"; ' . $strDatabase . ' ' . htmlspecialchars($db); + echo '

' . $strDatabase . ' ' . htmlspecialchars($db) . ''; if (!empty($table)) { - echo ' - ' . $strTable . ' ' . htmlspecialchars($table); + echo ' - ' . $strTable . ' ' . htmlspecialchars($table) . ''; } + echo ' ' . trim($strRunning) + . ' ' . (($cfgServer['verbose']) ? $cfgServer['verbose'] : $cfgServer['host']) . ''; echo '

' . "\n"; } echo "\n";