0) ? reset($pkgs) : null ); require "$themes_dir/$theme_name/page_header.php"; if (!isset($_GET['package'])) { $bannerfile = dirname(__FILE__) . '/banner.html'; if (file_exists($bannerfile)) { echo file_get_contents($bannerfile); } if (!is_null($g_user) || isset($_GET['package'])) { echo '« Back to full list'; } echo '
%d build%s in progress:
', count($hosts), plural(count($hosts))); $s = ''; $tmpl = <<Package | User | Target media | Machine arch |
---|
No build in progress.
Upload in progress for %s.
%d packages submitted in the past %d hours:
', $total, $max_modified * 24); // Last submitted packages echo 'Package | Who when | Target media | Status process time |
---|
Stats
Total time | %s hours (%s%% of capacity with %d nodes) |
Average | %s minutes |
Builds count | %s |
No package has been submitted in the past %d hours.