. // 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) { error_page("No such task"); } page_head("Task details"); show_result($result); page_tail(); ?>