Tech Report TR" . $_GET['report']. "\n";
include("/s/www/html/includes/dept.headfinish.html");
include("/s/www/html/includes/dept.sidebar.html");
?>
No report id selected.\n";
} else {
$file = fopen("/s/www/html-data/reports", 'r');
$found = 0;
while (!feof($file)) {
$id = chop(fgets($file));
$author = chop(fgets($file));
$title = chop(fgets($file));
$year = chop(fgets($file));
$abstract = chop(fgets($file));
$filename = chop(fgets($file));
if ($id == $_GET['report']) {
print "
$title
$author
$year
$abstract
Download this report (PDF)\n";
$found = 1;
break;
}
}
fclose($file);
if ($found == 0) {
$given_report = $_GET['report'];
print "
No tech report with id number $given_report has been found.";
}
}
?>
Return to tech report index