id); row("created", time_str($platform->create_time)); row("name", $platform->name); echo ""; } function show_app($app) { start_table(); row("ID", $app->id); row("created", time_str($app->create_time)); row("name", $app->name); row("alpha version", $app->alpha_vers); row("beta version", $app->beta_vers); row("production version", $app->prod_vers); row("result template", "
".htmlspecialchars($app->result_xml_template).""); echo ""; } function show_app_version($app_version) { start_table(); row("ID", $app_version->id); row("created", time_str($app_version->create_time)); row("app ID", $app_version->appid); row("version num", $app_version->version_num); row("platform ID", $app_version->platformid); row("XML doc", "
".htmlspecialchars($app_version->xml_doc).""); row("min_core_version", $app_version->min_core_version); row("max_core_version", $app_version->max_core_version); row("message", $app_version->message); row("deprecated", $app_version->deprecated); echo ""; } function show_host($host) { echo TABLE2."\n"; echo "
".htmlspecialchars($wu->xml_doc).""); row("app ID", $wu->appid); row("batch", $wu->batch); row("FP operations", $wu->rsc_fpops); row("integer operations", $wu->rsc_iops); row("memory requirement", $wu->rsc_memory); row("disk requirement", $wu->rsc_disk); row("dynamic results", $wu->dynamic_results?"yes":"no"); row("max_results", $wu->max_results); row("nresults", $wu->nresults); row("nresults_unsent", $wu->nresults_unsent); row("nresults_done", $wu->nresults_done); row("nresults_fail", $wu->nresults_fail); echo ""; } function res_state_string($s) { switch($s) { case 1: return "inactive"; case 2: return "unsent"; case 3: return "in progress"; case 4: return "done"; case 5: return "timeout"; case 6: return "error"; } } function show_result($result) { start_table(); row("created", time_str($result->create_time)); row("name", $result->name); row("workunit ID", $result->workunitid); row("state", res_state_string($result->state)); row("host ID", $result->hostid); row("sent", time_str($result->sent_time)); row("received", time_str($result->received_time)); row("exit status", $result->exit_status); row("CPU time", $result->cpu_time); row("XML doc in", "
".htmlspecialchars($result->xml_doc_in).""); row("XML doc out", "
".htmlspecialchars($result->xml_doc_out).""); row("stderr out", "
".htmlspecialchars($result->stderr_out).""); row("batch", $result->batch); row("validated", $result->validated); echo ""; } function show_user_stats($user, $project) { echo TABLE2."\n"; echo "