2004-01-06 22:09:19 +00:00
|
|
|
<?php
|
|
|
|
|
// show a result
|
|
|
|
|
|
2004-02-02 23:34:39 +00:00
|
|
|
require_once("../inc/db.inc");
|
|
|
|
|
require_once("../inc/util.inc");
|
|
|
|
|
require_once("../inc/result.inc");
|
2004-01-06 22:09:19 +00:00
|
|
|
|
|
|
|
|
db_init();
|
|
|
|
|
$resultid = $_GET["resultid"];
|
|
|
|
|
page_head("Result");
|
|
|
|
|
$r = mysql_query("select * from result where id=$resultid");
|
|
|
|
|
$result = mysql_fetch_object($r);
|
|
|
|
|
mysql_free_result($r);
|
2004-01-08 00:09:26 +00:00
|
|
|
if (!$result) {
|
2004-01-06 22:09:19 +00:00
|
|
|
echo "No such result";
|
|
|
|
|
exit();
|
|
|
|
|
}
|
|
|
|
|
show_result($result);
|
|
|
|
|
page_tail();
|
|
|
|
|
?>
|
