Rooba
/
boinc
mirror of https://github.com/BOINC/boinc.git
1
0
Fork 0
Code Issues 1 Packages Projects Releases Wiki Activity

*** empty log message *** 

svn path=/trunk/boinc/; revision=1995
This commit is contained in:
David Anderson 2003-08-05 21:40:07 +00:00
parent b83524a9a7
commit dafd6d4a31
2 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
html/ops/db_form.php
View File

@ -44,14 +44,14 @@ require_once("db_ops.inc");
print_checkbox("Hide XML fields", "hide_xml_docs", $hide_xml_docs); print_checkbox("Hide XML fields", "hide_xml_docs", $hide_xml_docs);
} else if ($table=="result") { } else if ($table=="result") {
echo "<tr><td align=right>Server state</td><td> "; echo "<tr><td align=right>Server state</td><td> ";
result_server_state_select(); server_state_select();
echo "</td></tr>\n"; echo "</td></tr>\n";
//print_text_field( "Batch number:", "batch", $batch ); //print_text_field( "Batch number:", "batch", $batch );
echo "<tr><td align=right>Outcome</td><td>"; echo "<tr><td align=right>Outcome</td><td>";
result_outcome_select(); outcome_select();
echo "</td></tr>\n"; echo "</td></tr>\n";
echo "<tr><td align=right>Client state</td><td>"; echo "<tr><td align=right>Client state</td><td>";
result_client_state_select(); client_state_select();
echo "</td></tr>\n"; echo "</td></tr>\n";
row2("Hide XML fields", "<input type=checkbox name=hide_xml_docs>"); row2("Hide XML fields", "<input type=checkbox name=hide_xml_docs>");

3
html/ops/db_ops.inc
View File

@ -205,7 +205,7 @@ function show_result_summary()
echo "<td><table border=2 cellpadding=4\n"; echo "<td><table border=2 cellpadding=4\n";
echo "<tr><th>Outcome</th><th># results</th></tr>\n"; echo "<tr><th>Outcome</th><th># results</th></tr>\n";
for ($ro=0; $ro<6; $ro++) { for ($ro=0; $ro<6; $ro++) {
c_row2(outcome_color($ro), outcome_string($ro), c_row2($outcome[$ro]?outcome_color($ro):'white', outcome_string($ro),
link_results($outcome[$ro], $urlquery, "outcome=$ro")); link_results($outcome[$ro], $urlquery, "outcome=$ro"));
} }
echo "</table></td>"; echo "</table></td>";
@ -509,6 +509,7 @@ function host_user_link($hostid)
function outcome_color($s) { function outcome_color($s) {
switch($s) { switch($s) {
case 0: return 'eeeeee'; // unknown (server state not over probably)
case 1: return '33cc33'; // "Success" case 1: return '33cc33'; // "Success"
case 3: return 'ff3333'; // "Client error" case 3: return 'ff3333'; // "Client error"
} }