diff options
| author | Pascal Terjan <pterjan@mageia.org> | 2013-01-21 15:12:37 +0000 |
|---|---|---|
| committer | Pascal Terjan <pterjan@mageia.org> | 2013-01-21 15:12:37 +0000 |
| commit | 9da4967803ae7eafebc518fbfebfee4d9da374eb (patch) | |
| tree | 3dd24f7302771376e418aa27bbf3dad74e548d0c /autobuild/results.php | |
| parent | 8b6da873f77fa2329d5b6aac3b02a2d517c8226c (diff) | |
| download | pkgsubmit-9da4967803ae7eafebc518fbfebfee4d9da374eb.tar pkgsubmit-9da4967803ae7eafebc518fbfebfee4d9da374eb.tar.gz pkgsubmit-9da4967803ae7eafebc518fbfebfee4d9da374eb.tar.bz2 pkgsubmit-9da4967803ae7eafebc518fbfebfee4d9da374eb.tar.xz pkgsubmit-9da4967803ae7eafebc518fbfebfee4d9da374eb.zip | |
More compact list of builds (would need a non js version too :( )
Diffstat (limited to 'autobuild/results.php')
| -rw-r--r-- | autobuild/results.php | 15 |
1 files changed, 5 insertions, 10 deletions
diff --git a/autobuild/results.php b/autobuild/results.php index 891ce4a..b165820 100644 --- a/autobuild/results.php +++ b/autobuild/results.php @@ -110,18 +110,13 @@ echo "<title>$succes_percent% Success</title>\n"; echo "</head><body>\n"; echo "<div style='position:absolute;right:0;top:0;'>"; +echo "<form><select name='run' onChange='document.location.href=\"".$_SERVER["PHP_SELF"]."?run=\"+this.form.run.value'>"; 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 ' '; + $in_progress = ($r > $latest) ? ' (in progress)' : ''; + $selected = ($r == $run) ? ' selected' : ''; + echo "<option value='$r'$selected>$r$in_progress</option>"; } - -echo "</div>\n"; +echo "</select></form></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 style='list-style:none;'>"; |