function main() { page_head("Bossa apps"); start_table(); show_apps(); end_table(); page_tail(); }
function show_form() { echo "\r\n\t\t<form method=get action=job_times.php>\r\n\t\tApp ID: <input name=appid>\r\n\t\t<br>platform ID (0 for all): <input name=platformid value=0>\r\n\t\t<br>FLOP quantum: <input name=quantum value=1e12>\r\n\t\t<br># of results: <input name=nresults value=1000>\r\n\t\t<br><input type=submit name=submit value=OK>\r\n\t\t</form>\r\n\t"; show_platforms(); show_apps(); }