\n"; echo "\n"; start_table(); if ($table=="platform") { } else if ($table=="app") { } else if ($table=="app_version") { print_detail_field(); } else if ($table=="host") { print_checkbox("Show Aggregate Information", "show_aggregate", $show_aggregate); print_detail_field(); } else if ($table=="workunit") { print_detail_field(); print_query_field(); echo "\n"; } else if ($table=="result") { echo "Server state "; server_state_select(); echo "\n"; //print_text_field( "Batch number:", "batch", $batch ); echo "Outcome"; outcome_select(); echo "\n"; echo "Client state"; client_state_select(); echo "\n"; echo "Sort by"; result_sort_select(); echo "\n"; print_detail_field(); print_query_field(); } else if ($table=="team") { } else if ($table=="user") { } else { echo "Unknown table name\n"; exit(); } row2("Number of entries to show", ""); row2("", "\n"); end_table(); echo "