Ejemplo n.º 1
0
function main()
{
    page_head("Bossa apps");
    start_table();
    show_apps();
    end_table();
    page_tail();
}
Ejemplo n.º 2
0
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();
}