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