\n"; echo "\n"; start_table(); if ($table=="platform") { } else if ($table=="app") { } else if ($table=="app_version") { print_checkbox("Show XML Docs", "show_xml_docs", $show_xml_docs); } else if ($table=="host") { print_checkbox("Show Aggregate Information", "show_aggregate", $show_aggregate); if ($show_aggregate) { $result = mysql_query("select sum(d_total) as tot_sum, sum(d_free) as free_sum, " . "sum(m_nbytes) as tot_mem " . $query); $disk_info = mysql_fetch_object($result); printf( "

\n" . "Sum of total disk space on these hosts: " . $disk_info->tot_sum/(1024*1024*1024) . " GB" . "

" . "Sum of available disk space on these hosts: " . $disk_info->free_sum/(1024*1024*1024) . " GB" . "

" . "Sum of memory on these hosts: " . $disk_info->tot_mem/(1024*1024) . " MB" . "

" ); } } else if ($table=="workunit") { print_checkbox("Show XML fields", "show_xml_docs", $show_xml_docs); } else if ($table=="result") { echo "Server state "; result_server_state_select(); echo "\n"; //print_text_field( "Batch number:", "batch", $batch ); echo "Outcome"; result_outcome_select(); echo "\n"; echo "Client state"; result_client_state_select(); echo "\n"; row2("Show XML fields", ""); row2("Show result stderr", ""); row2("Show times", ""); echo "Sort by"; result_sort_select(); echo "\n"; echo "Detail level"; echo " low high "; } 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 "\n"; page_tail(); ?>