merged patch #479083 - display name of server after db/table thanks to Martin Jespersen

This commit is contained in:
Loïc Chapeaux
2001-11-22 20:34:38 +00:00
parent f266ba5273
commit b1398ff4d5

View File

@@ -139,10 +139,12 @@ echo "\n";
<body bgcolor="<?php echo $cfgRightBgColor; ?>" background="images/bkg.gif"> <body bgcolor="<?php echo $cfgRightBgColor; ?>" background="images/bkg.gif">
<?php <?php
if (isset($db)) { if (isset($db)) {
echo '<h1> ' . $strDatabase . ' ' . htmlspecialchars($db); echo '<h1>' . $strDatabase . ' <i>' . htmlspecialchars($db) . '</i>';
if (!empty($table)) { if (!empty($table)) {
echo ' - ' . $strTable . ' ' . htmlspecialchars($table); echo ' - ' . $strTable . ' <i>' . htmlspecialchars($table) . '</i>';
} }
echo ' ' . trim($strRunning)
. ' <i>' . (($cfgServer['verbose']) ? $cfgServer['verbose'] : $cfgServer['host']) . '</i>';
echo '</h1>' . "\n"; echo '</h1>' . "\n";
} }
echo "\n"; echo "\n";