".htmlspecialchars($app_version->xml_doc)."

".htmlspecialchars($wu->xml_doc)."

"; } function workunit_short_header() { echo " WU ID canonical result error_mask file delete assimilate "; } function show_workunit_short($wu) { if ($wu->canonical_resultid) { $cr = "canonical_resultid\">$wu->canonical_resultid"; } else { $cr = "none"; } $wu_link = "id."&detail=high\">".$wu->id.""; $cr = $cr. " id&detail=low\">all"; $e = wu_error_mask_str($wu->error_mask); $f = file_delete_state_str($wu->file_delete_state); $a = assimilate_state_str($wu->assimilate_state); echo " $wu_link $cr $e $f $a "; } function server_state_string($s) { switch($s) { case 1: return "Inactive"; case 2: return "Unsent"; case 3: return "Unsent (in work seq)"; case 4: return "In Progress"; case 5: return "Over"; } echo "THIS IS AN INTERNAL BUG #3 [$s] IN BOINC: PLEASE CONTACT BOINC DEVELOPERS
"; return "Unknown"; } function outcome_string($s) { switch($s) { case 0: return "Init"; case 1: return "Success"; case 2: return "Couldn't send"; case 3: return "Client error"; case 4: return "No reply"; case 5: return "Didn't need"; case 6: return "Validate error"; case 7: return "Client detached"; } echo "THIS IS AN INTERNAL BUG #4 [$s] IN BOINC: PLEASE CONTACT BOINC DEVELOPERS
"; return "Unknown"; } function client_state_string($s) { switch($s) { case 0: return "New"; case 1: return "Downloading"; case 2: return "Downloaded"; case 3: return "Compute error"; case 4: return "Uploading"; case 5: return "Uploaded"; case 6: return "Aborted"; } echo "THIS IS AN INTERNAL BUG #5 [$s] IN BOINC: PLEASE CONTACT BOINC DEVELOPERS
"; return "Unknown"; } function validate_state_str($s) { switch($s) { case 0: return "Initial"; case 1: return "Valid"; case 2: return "Invalid"; case 3: return "Skipped"; case 4: return "Inconclusive"; case 5: return "Too late"; } echo "THIS IS AN INTERNAL BUG #6 [$s] IN BOINC: PLEASE CONTACT BOINC DEVELOPERS
"; return "Unknown"; } function host_user_link($hostid) { if (!$hostid) return '----'; $h = "$hostid"; $result = mysql_query("select userid from host where id='$hostid' limit 1"); if (!$result) return $h; $host = mysql_fetch_object($result); mysql_free_result($result); if (!$host->userid) return $h; $result = mysql_query("select id, name from user where id='$host->userid' limit 1"); if (!$result) return $h; $user = mysql_fetch_object($result); mysql_free_result($result); return "$h
(id\">$user->name)"; } function validate_color($validate_state) { switch ($validate_state) { case 1: return '33cc33'; // valid, green case 2: return 'ffa500'; // invalid result, orange } return ''; } function outcome_color($outcome) { switch($outcome) { case 0: return '9900cc'; // "Init", purple case 1: return '33cc33'; // "Success", green case 3: return 'ff3333'; // "Client error", red case 4: return 'ff6699'; // "No reply", pink case 6: return 'ffff33'; // "Validate error", yellow } return ''; } function credit_str($c) { if ($c) { return sprintf("%.3f", $c); } else { return '---'; } } function show_result($result) { $wu_name = wu_name_by_id($result->workunitid); start_table(); row("Created", time_str($result->create_time)); row("Sent", time_str($result->sent_time)); row("Report deadline", time_str($result->report_deadline)); row("Received", time_str($result->received_time)); row("Last time modified",mysqltime_str($result->mod_time)); row("Name", $result->name); row("Workunit", "workunitid\">" . wu_name_by_id($result->workunitid) . " [$result->workunitid]" ); row("Server state", server_state_string($result->server_state)." [$result->server_state]"); row("Outcome", outcome_string($result->outcome)." [$result->outcome]"); row("Client state", client_state_string($result->client_state)." [$result->client_state]"); row("Exit status", exit_status_string($result)); row("Host ID", "hostid\">" . host_name_by_id($result->hostid) . " [$result->hostid]"); row("User ID", "userid\">" . user_name_by_id($result->userid) . " [$result->userid]"); row("CPU time", $result->cpu_time); row("Elapsed time", $result->elapsed_time); if($error=stderr_error_string($result->stderr_out)) { row("error in stderr out", $error); } row("Batch", $result->batch); row("File delete state", file_delete_state_str($result->file_delete_state)." [$result->file_delete_state]"); row("Validate state", validate_state_str($result->validate_state)." [$result->validate_state]"); row("claimed credit", $result->claimed_credit); row("Granted credit", $result->granted_credit); row("Application", "appid\">".app_name_by_id($result->appid).""); row("App version", "appid&clauses=version_num%3D$result->app_version_num\">".$result->app_version_num.""); row("App version ID", $result->app_version_id); row("Estimated GFLOPS", number_format($result->flops_estimate/1e9, 2)); row("Random",$result->random); row("Opaque",$result->opaque); row("Teamid",$result->teamid); row("Priority",$result->priority); row("XML doc in", "

".htmlspecialchars($result->xml_doc_in)."

".htmlspecialchars($result->xml_doc_out)."

".htmlspecialchars($result->stderr_out)."

"; } function result_short_header() { echo " result ID WU ID server
state outcome client
state validate
state delete
state exit
status host
(user) app
ver received
or deadline
or created CPU
hours claimed
credit granted
credit "; } function show_result_short($result) { $ss = server_state_string($result->server_state)." [$result->server_state]"; $oc = outcome_string($result->outcome)." [$result->outcome]"; $vs = validate_state_str($result->validate_state)." [$result->validate_state]"; $cs2 = client_state_string($result->client_state)." [$result->client_state]"; if ($result->outcome == 3) { $cs = client_state_string($result->client_state); $oc = "$oc ($cs)"; } if ($result->received_time) $received = time_str($result->received_time); else { // result has not been received yet, so show report deadline either // in green if in the future or in red if in the past. $timenow=time(); if ($result->report_deadline==0) { // not sent -- show create time in purple $received = "". time_str($result->create_time) . ""; } else if ($result->report_deadline>=$timenow) { // overdue -- show deadline in red $received = "". time_str($result->report_deadline) . ""; } else { // in progress and not overdue -- show deadline in green $received = "". time_str($result->report_deadline) . ""; } } $version = "$result->app_version_num/$result->app_version_id"; $outcome_color = outcome_color($result->outcome); $validate_color = validate_color($result->validate_state); $host_user = host_user_link($result->hostid); $cpu_hours = sprintf("%.1f",$result->cpu_time / 3600); $claimed_credit = credit_str($result->claimed_credit); $granted_credit = "id>".credit_str($result->granted_credit).""; $delete_state = file_delete_state_str($result->file_delete_state); echo " id\">$result->id workunitid\">$result->workunitid $ss $oc $cs2 $vs $delete_state ", exit_status_string($result), " $host_user $version $received $cpu_hours $claimed_credit $granted_credit "; } function show_user($user) { start_table(); row("ID", $user->id); row("Created", time_str($user->create_time)); row("Name", $user->name); row("Authenticator", $user->authenticator); row("Email address", $user->email_addr); row("Country", $user->country); row("Postal code", $user->postal_code); row("Total credit", $user->total_credit); row("Average credit", $user->expavg_credit); row("Last average time", time_str($user->expavg_time)); row("Default venue", $user->venue); row("Hosts", "id&detail=low\">click"); row("Cross project ID", $user->cross_project_id); row("Password Hash", $user->passwd_hash); row("Donated", $user->donated); end_table(); } function show_user_summary($maxuser) { $top_country = array(); $top_language = array(); $stats_res = mysql_query("select max(id) as maxuser, SUM(case when has_profile = '1' then 1 else 0 end) as profuser, SUM(case when teamid != '0' then 1 else 0 end) as teamuser from user"); $stats = mysql_fetch_assoc($stats_res); if ($maxuser > $stats['maxuser']) { $maxuser = $stats['maxuser']; } $user_res = mysql_query("select * from user order by posts desc limit ".$maxuser); $profile_res = mysql_query("select * from profile order by posts desc limit ".$maxuser); for ($i=1;$i<=$maxuser;$i++) { $user = mysql_fetch_object($user_res); $top10poster[$i] = $user; $top_country[$user->country] += 1; } for ($i=1;$i<=$maxuser;$i++) { $profile = mysql_fetch_object($profile_res); if ($profile->language != '') { $top_language[$profile->language] += 1; } } mysql_free_result($user_res); mysql_free_result($profile_res); mysql_free_result($stats_res); echo ""; echo ""; echo ""; echo ""; echo ""; echo ""; echo "

General	top10 Poster	top$maxuser Countries	top$maxuser Languages
"; row2_plain("Users:", $stats['maxuser']); row2_plain("Profiles:", $stats['profuser']); row2_plain("Team members:", $stats['teamuser']); echo "	\n"; echo "\n"; for ($p=1; $p<=10; $p++) { row2_plain(user_links_ops($top10poster[$p]), $top10poster[$p]->posts); } echo " User # posts	\n"; echo "\n"; arsort($top_country); foreach ($top_country as $key => $value) { row2_plain($key, $value); } echo " Country # users	\n"; echo "\n"; arsort($top_language); foreach ($top_language as $key => $value) { row2_plain($key, $value); } echo " Language # users

"; } function team_type_string($s) { switch ($s) { case 1: return "Unclassified"; case 2: return "Company"; case 3: return "Primary school"; case 4: return "Secondary school"; case 5: return "Junior college"; case 6: return "University or department"; case 7: return "Government agency"; default: return "Unknown"; } } function show_team($team) { start_table(); row("ID", $team->id); row("Team Founder", "userid\">" . user_name_by_id($team->userid) . ""); row("Name", $team->name); row("Name (HTML Formatted)", "

" . htmlspecialchars($team->name_html) . "