2004-06-09 19:09:16 +00:00
|
|
|
<?php
|
2003-08-19 06:45:36 +00:00
|
|
|
|
2005-03-23 06:26:19 +00:00
|
|
|
$light_blue="#d8e8ff";
|
|
|
|
|
$med_blue="#c0d0f0";
|
|
|
|
|
|
2006-02-16 21:35:34 +00:00
|
|
|
function last_mod($datefile) {
|
|
|
|
|
return gmdate("g:i A \U\T\C, F d Y", filemtime($datefile));
|
2003-08-19 06:45:36 +00:00
|
|
|
}
|
|
|
|
|
|
2006-02-16 21:35:34 +00:00
|
|
|
function page_head($title, $datefile=null) {
|
|
|
|
|
if (!$datefile) {
|
|
|
|
|
$datefile = $_SERVER["SCRIPT_FILENAME"];
|
|
|
|
|
}
|
|
|
|
|
$d = last_mod($datefile);
|
2004-12-26 00:14:51 +00:00
|
|
|
echo "<html>
|
2003-09-23 23:19:41 +00:00
|
|
|
<head>
|
2005-05-31 21:59:29 +00:00
|
|
|
<link rel=\"stylesheet\" type=\"text/css\" href=\"white.css\"/>
|
|
|
|
|
<link rel=\"shortcut icon\" href=\"iconsmall.ico\"/>
|
2003-08-19 06:45:36 +00:00
|
|
|
<title>$title</title>
|
2003-09-23 23:19:41 +00:00
|
|
|
</head>
|
2004-12-26 00:19:02 +00:00
|
|
|
<body bgcolor='ffffff'>
|
|
|
|
|
<table width='100%'>
|
2003-08-19 06:45:36 +00:00
|
|
|
<tr>
|
|
|
|
|
<td><center><h1>$title</h1></center>
|
2005-10-23 07:19:03 +00:00
|
|
|
<td align=right><a href=index.php><img src=logo/logo_small.png></a>
|
2003-08-19 06:45:36 +00:00
|
|
|
<br>
|
2004-12-26 00:19:02 +00:00
|
|
|
<nobr><font size='2'>Last modified $d</font></nobr>
|
2003-08-19 06:45:36 +00:00
|
|
|
</td>
|
|
|
|
|
</tr></table>
|
2005-03-29 23:13:28 +00:00
|
|
|
<hr size=1>
|
2003-08-19 06:45:36 +00:00
|
|
|
";
|
|
|
|
|
}
|
|
|
|
|
|
2005-05-10 17:04:13 +00:00
|
|
|
function copyright() {
|
2005-05-10 17:16:40 +00:00
|
|
|
$y = date("Y ");
|
2005-05-10 17:04:13 +00:00
|
|
|
echo "
|
2005-05-10 17:16:40 +00:00
|
|
|
<font color=888888>
|
|
|
|
|
Copyright © $y University of California.
|
|
|
|
|
Permission is granted to copy, distribute and/or modify this document
|
|
|
|
|
under the terms of the GNU Free Documentation License,
|
|
|
|
|
Version 1.2 or any later version published by the Free Software Foundation.</font>
|
2005-05-10 17:04:13 +00:00
|
|
|
";
|
|
|
|
|
}
|
|
|
|
|
|
2003-08-19 06:45:36 +00:00
|
|
|
function page_tail() {
|
|
|
|
|
echo "
|
2005-03-29 23:13:28 +00:00
|
|
|
<hr size=1>
|
2005-05-12 00:32:03 +00:00
|
|
|
<center>
|
2005-05-31 21:59:29 +00:00
|
|
|
<a href=\"/\">Return to BOINC main page</a>
|
2005-05-12 00:32:03 +00:00
|
|
|
</center><p>
|
2005-05-10 17:04:13 +00:00
|
|
|
";
|
|
|
|
|
copyright();
|
|
|
|
|
echo "
|
2004-12-26 00:14:51 +00:00
|
|
|
</body>
|
|
|
|
|
</html>
|
2003-08-19 06:45:36 +00:00
|
|
|
";
|
|
|
|
|
}
|
|
|
|
|
|
2004-09-05 18:46:19 +00:00
|
|
|
function html_text($x) {
|
|
|
|
|
return "<pre>".htmlspecialchars($x)."</pre>
|
|
|
|
|
";
|
|
|
|
|
}
|
|
|
|
|
|
2003-08-19 06:45:36 +00:00
|
|
|
function list_start() {
|
|
|
|
|
echo "<p><table border=1 cellpadding=6 width=100%>\n";
|
|
|
|
|
}
|
|
|
|
|
|
2004-02-09 05:11:05 +00:00
|
|
|
function list_heading($x, $y, $z=null) {
|
|
|
|
|
echo "
|
|
|
|
|
<tr>
|
2004-02-12 01:13:47 +00:00
|
|
|
<th valign=top><b>$x</b></th>
|
|
|
|
|
<th valign=top>$y</th>
|
2004-02-09 05:11:05 +00:00
|
|
|
";
|
|
|
|
|
if ($z) {
|
2004-02-12 01:13:47 +00:00
|
|
|
echo " <th valign=top>$z</th>\n";
|
2004-02-09 05:11:05 +00:00
|
|
|
}
|
2005-03-05 23:12:31 +00:00
|
|
|
echo " </tr>\n";
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
function list_heading_array($x) {
|
|
|
|
|
echo "<tr>";
|
|
|
|
|
foreach ($x as $h) {
|
|
|
|
|
echo "<th>$h</th>";
|
|
|
|
|
}
|
|
|
|
|
echo "</tr>\n";
|
2004-02-09 05:11:05 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
function list_item($x, $y, $z=null) {
|
2005-03-23 06:26:19 +00:00
|
|
|
global $light_blue;
|
2003-08-19 06:45:36 +00:00
|
|
|
echo "
|
|
|
|
|
<tr>
|
2005-03-23 06:26:19 +00:00
|
|
|
<td bgcolor=$light_blue valign=top><b>$x</b></td>
|
2003-08-19 06:45:36 +00:00
|
|
|
<td valign=top>$y</td>
|
2004-02-09 05:11:05 +00:00
|
|
|
";
|
|
|
|
|
if ($z) {
|
|
|
|
|
echo " <td valign=top>$z</a>\n";
|
|
|
|
|
}
|
|
|
|
|
echo " </tr>\n";
|
2003-08-19 06:45:36 +00:00
|
|
|
}
|
|
|
|
|
|
2005-03-05 23:12:31 +00:00
|
|
|
function list_item_array($x) {
|
|
|
|
|
echo "<tr>";
|
|
|
|
|
foreach ($x as $h) {
|
2005-04-11 19:29:36 +00:00
|
|
|
echo "<td valign=top>$h<br></td>";
|
2005-03-05 23:12:31 +00:00
|
|
|
}
|
|
|
|
|
echo "</tr>\n";
|
|
|
|
|
}
|
|
|
|
|
|
2004-09-05 18:46:19 +00:00
|
|
|
function list_item_func($x, $y) {
|
|
|
|
|
list_item(html_text($x), $y);
|
|
|
|
|
}
|
|
|
|
|
|
2004-10-01 22:00:39 +00:00
|
|
|
function list_bar($x) {
|
2005-03-23 06:26:19 +00:00
|
|
|
global $med_blue;
|
2004-10-01 22:00:39 +00:00
|
|
|
echo "
|
2005-03-23 06:26:19 +00:00
|
|
|
<tr><td colspan=8 bgcolor=$med_blue><center><b>$x</b></center></td></tr>
|
2004-10-01 22:00:39 +00:00
|
|
|
";
|
|
|
|
|
}
|
|
|
|
|
|
2003-08-19 06:45:36 +00:00
|
|
|
function list_end() {
|
|
|
|
|
echo "</table><p>\n";
|
|
|
|
|
}
|
|
|
|
|
|
2005-10-23 07:19:03 +00:00
|
|
|
function error_page($x) {
|
|
|
|
|
page_head("Error");
|
|
|
|
|
echo $x;
|
|
|
|
|
page_tail();
|
|
|
|
|
exit();
|
|
|
|
|
}
|
|
|
|
|
|
2003-08-19 06:45:36 +00:00
|
|
|
?>
|
