"; if ($show_wu_link) { echo "Work unit\n"; } if ($show_host_link) { echo "Host\n"; } echo " Sent Received Server state
explain Outcome
explain Client state
explain CPU time (sec) claimed credit granted credit "; } function show_result_row($result, $show_wu_link, $show_host_link) { $s = time_str($result->sent_time); $r = time_str($result->received_time); $ss = result_server_state_string($result->server_state); $out = result_outcome_string($result->outcome); $cl = result_client_state_string($result->client_state); echo " "; if ($show_wu_link) { echo "workunitid>$result->workunitid\n"; } if ($show_host_link) { if ($result->hostid) { echo "hostid>$result->hostid\n"; } else { echo "---\n"; } } $result_claimed_credit = format_credit($result->claimed_credit); $result_granted_credit = format_credit($result->granted_credit); echo " $s $r $ss $out $cl $result->cpu_time $result_claimed_credit $result_granted_credit "; } ?>