diff options
| -rw-r--r-- | autobuild/index.php | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/autobuild/index.php b/autobuild/index.php index 40fd7a9..283531b 100644 --- a/autobuild/index.php +++ b/autobuild/index.php @@ -12,9 +12,10 @@ while (false !== ($entry = readdir($handle))) { closedir($handle); sort($runs); +$latest = readlink("cauldron/x86_64/core/latest"); $run = $_GET['run']; if (!$run) { - $run = readlink("cauldron/x86_64/core/latest"); + $run = $latest; } foreach ($runs as $r) { @@ -100,6 +101,19 @@ $estimated_percent = round(($nb_success+$nb_fixed)*1000/($nb_tried-$nb_removed)) echo "<title>$succes_percent% Success</title>\n"; echo "</head><body>\n"; +echo "<div style='position:absolute;right:0;top:0;'>"; +foreach ($runs as $r) { + $text = $r . (($r > $latest) ? ' (in progress)' : ''); + + if ($r==$run) { + echo $text; + } else { + echo '<a href="'.$_SERVER["PHP_SELF"].'?run='.$r.'">'.$text.'</a>'; + } + echo ' '; +} + +echo "</div>\n"; echo "<h1>$succes_percent% Success</h1>\n"; echo "$nb_fixed packages have been fixed since this run and $nb_removed have been removed.<br/> If no new package was broken, success rate next time should be $estimated_percent%.<br/>\n"; echo "<div style='float:left'><h1>Failed builds ($nb_failed/$nb_tried):</h1><ul>"; |