Summary of workunit\n";
$result = mysql_query("select * from workunit where id=$wuid");
$wu = mysql_fetch_object($result);
mysql_free_result($result);
start_table();
row2("created", time_str($wu->create_time));
row2("name", $wu->name);
row2("granted credit", format_credit($wu->canonical_credit));
echo "\n";
echo "
Results:\n";
result_table_start(false, true);
$result = mysql_query("select * from result where workunitid=$wuid");
while ($res = mysql_fetch_object($result)) {
show_result_row($res, false, true);
}
mysql_free_result($result);
echo "\n";
page_tail();
?>