2004-01-06 22:09:19 +00:00
|
|
|
<?php
|
|
|
|
|
|
2005-02-15 22:29:32 +00:00
|
|
|
// show a result
|
|
|
|
|
|
|
|
|
|
require_once("../inc/db.inc");
|
|
|
|
|
require_once("../inc/util.inc");
|
|
|
|
|
require_once("../inc/result.inc");
|
|
|
|
|
|
|
|
|
|
$resultid = get_int("resultid");
|
|
|
|
|
$result = lookup_result($resultid);
|
|
|
|
|
if (!$result) {
|
2007-10-04 17:30:28 +00:00
|
|
|
error_page("No such task");
|
2005-02-15 22:29:32 +00:00
|
|
|
}
|
2007-10-04 17:30:28 +00:00
|
|
|
page_head("Task details");
|
2005-02-15 22:29:32 +00:00
|
|
|
show_result($result);
|
|
|
|
|
page_tail();
|
2004-01-06 22:09:19 +00:00
|
|
|
|
|
|
|
|
?>
|
