. // show a result require_once("../inc/db.inc"); require_once("../inc/util.inc"); require_once("../inc/result.inc"); check_get_args(array("resultid")); $resultid = get_int("resultid"); $result = lookup_result($resultid); if (!$result) { error_page(tra("No such task")); } page_head(tra("Task %1", $resultid)); show_result($result); page_tail(); ?>