/**
* Set up page header, set page name, meta tags and load in style sheet(s)
*/
function PageHeader($title, $description, $keywords, $css)
{
echo "<!DOCTYPE html PUBLIC \"-//W3C//DTD XHTML 1.0 Strict//EN\" ";
echo "\"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd\">\n";
echo "<html xmlns=\"http://www.w3.org/1999/xhtml\" xml:lang=\"en\" lang=\"en\">\n";
echo "<head>\n";
// Create page title with values sent from page
echo "<title>";
// if running localy edit title so its clear
if ($_SERVER["SERVER_NAME"] == "localhost") {
echo "LOCALHOST - ";
}
echo $title . "</title>\n";
echo "<meta http-equiv='Content-Type' content='text/html; charset=utf-8' />\n";
echo "<meta name='keywords' content='" . $keywords . "'/>\n";
echo "<meta name='description' content='" . $description . "'/>\n";
echo "<meta name='language' content='en' />\n";
echo "<link rel='SHORTCUT ICON' href='http://www.deckchairdesign.co.uk/favicon.ico' />\n";
/* if needed echo "<script type='text/javascript' src='js/newwindow.js'></script>\n"; */
echo "<link href='" . GetServerName() . "style/main.css' rel='stylesheet' type='text/css' />\n";
echo "<link href='" . GetServerName() . "style/fonts.css' rel='stylesheet' type='text/css' />\n";
// Check to see if additional style sheet is needed
if (!$css == "") {
echo "<link href='" . GetServerName() . "style/" . $css . ".css' rel='stylesheet' type='text/css' />\n";
}
echo "</head>\n";
echo "<body>\n";
echo "<div id='main'>\n";
echo "<div id='header'>\n";
echo "<div id='logo'><a href='" . GetServerName() . "/index.php'></a></div>\n";
echo "</div>\n";
#header
echo "<div id='content'>\n";
}
$logContents = "";
$errorMsg = "";
$firstTimeHere = FirstTimeHere($pageName);
// Get log filename
if (array_key_exists($logFileToDownloadID, $_GET)) {
$logFileToDownload = $_GET[$logFileToDownloadID];
}
if (array_key_exists($logFileToDownloadID, $_POST)) {
$logFileToDownload = $_POST[$logFileToDownloadID];
}
if (empty($logFileToDownload)) {
throw new Exception($errNoLogFileSpecified);
}
// Get the log contents
$logContents = GetLogContents($logFileToDownload);
$selectedServerName = GetServerName($selectedServer);
} catch (MgException $e) {
CheckForFatalMgException($e);
if (empty($errorMsg)) {
$errorMsg = $e->GetExceptionMessage();
}
} catch (Exception $e) {
if (empty($errorMsg)) {
$errorMsg = $e->getMessage();
}
}
?>
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<html>
<head>
