diff options
| author | Erich Eckner <git@eckner.net> | 2018-03-09 14:13:22 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-03-09 14:13:22 +0100 |
| commit | 8a298d36658f1f34a3107c40dec9373edbf7171c (patch) | |
| tree | 196817ddbd5c30530b00692fba212197c7498a8d | |
| parent | 1658d4718631b4186a405602596e344e0ab5cb05 (diff) | |
| download | builder-8a298d36658f1f34a3107c40dec9373edbf7171c.tar.xz | |
web-scripts/build-list.php: "all" <-> "broken"
| -rw-r--r-- | web-scripts/build-list.php | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/web-scripts/build-list.php b/web-scripts/build-list.php index 0ca36b8..1bb985d 100644 --- a/web-scripts/build-list.php +++ b/web-scripts/build-list.php @@ -1,10 +1,10 @@ <html> <head> <?php - if (isset($_GET["all"])) - print "<title>List of scheduled package builds</title>\n"; - else + if (isset($_GET["broken"])) print "<title>List of broken package builds</title>\n"; + else + print "<title>List of scheduled package builds</title>\n"; ?> <link rel="stylesheet" type="text/css" href="/static/style.css"> </head> @@ -17,10 +17,10 @@ if ($mysql->connect_error) { die("Connection failed: " . $mysql->connect_error); } -if (isset($_GET["all"])) - $match_broken = ""; -else +if (isset($_GET["broken"])) $match_broken = "AND (`build_assignments`.`is_broken` OR `build_assignments`.`is_blocked` IS NOT NULL)"; +else + $match_broken = ""; $result = $mysql -> query( "SELECT DISTINCT " . |