diff --git a/html/ops/db_form.php b/html/ops/db_form.php index 27e16a1c97..616843ba60 100644 --- a/html/ops/db_form.php +++ b/html/ops/db_form.php @@ -44,14 +44,14 @@ require_once("db_ops.inc"); print_checkbox("Hide XML fields", "hide_xml_docs", $hide_xml_docs); } else if ($table=="result") { echo "Server state "; - result_server_state_select(); + server_state_select(); echo "\n"; //print_text_field( "Batch number:", "batch", $batch ); echo "Outcome"; - result_outcome_select(); + outcome_select(); echo "\n"; echo "Client state"; - result_client_state_select(); + client_state_select(); echo "\n"; row2("Hide XML fields", ""); diff --git a/html/ops/db_ops.inc b/html/ops/db_ops.inc index de2b31a19f..aff8d51489 100644 --- a/html/ops/db_ops.inc +++ b/html/ops/db_ops.inc @@ -205,7 +205,7 @@ function show_result_summary() echo "\n"; 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")); } echo "
Outcome# results
"; @@ -509,6 +509,7 @@ function host_user_link($hostid) function outcome_color($s) { switch($s) { + case 0: return 'eeeeee'; // unknown (server state not over probably) case 1: return '33cc33'; // "Success" case 3: return 'ff3333'; // "Client error" }