// js form validation stuff var jsHostEmpty = ''; var jsUserEmpty = ''; var jsPasswordEmpty = ''; var jsPasswordNotSame = ''; //--> // js form validation stuff var jsHostEmpty = ''; var jsUserEmpty = ''; var jsPasswordEmpty = ''; var jsPasswordNotSame = ''; //--> // js index validation stuff var errorMsg0 = ''; var errorMsg1 = ''; var errorMsg2 = ''; //--> //--> //--> > ' . "\n"; $server_info = (!empty($cfg['Server']['verbose']) ? $cfg['Server']['verbose'] : $server_info = $cfg['Server']['host'] . (empty($cfg['Server']['port']) ? '' : ':' . $cfg['Server']['port'] ) ); if (isset($GLOBALS['db'])) { echo ' ' . $GLOBALS['strDatabase'] . ' ' . htmlspecialchars($GLOBALS['db']) . '' . "\n"; if (!empty($GLOBALS['table'])) { echo ' - ' . $GLOBALS['strTable'] . ' ' . htmlspecialchars($GLOBALS['table']) . '' . "\n"; } echo ' ' . sprintf($GLOBALS['strRunning'], '' . htmlspecialchars($server_info) . ''); } else { echo ' ' . sprintf($GLOBALS['strServer'], '' . htmlspecialchars($server_info) . ''); } echo "\n" . '' . "\n"; } echo "\n"; /** * Sets a variable to remember headers have been sent */ $GLOBALS['is_header_sent'] = TRUE; } ?>