diff options
| author | Erich Eckner <git@eckner.net> | 2018-04-17 13:30:43 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-04-17 13:30:43 +0200 |
| commit | d71ef8a35787bce195db69e2e70e74032e6aa1d5 (patch) | |
| tree | bb4ee6a1441dd49ea1810f636f13be95796667c4 /buildmaster/build-list.php | |
| parent | 336ca22abf7f14444185fe8543d7188a248b5a06 (diff) | |
| download | website-d71ef8a35787bce195db69e2e70e74032e6aa1d5.tar.xz | |
show warning on stopped slave
Diffstat (limited to 'buildmaster/build-list.php')
| -rw-r--r-- | buildmaster/build-list.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/buildmaster/build-list.php b/buildmaster/build-list.php index 966c5b5..b1aa94e 100644 --- a/buildmaster/build-list.php +++ b/buildmaster/build-list.php @@ -167,6 +167,7 @@ print "<title>List of " . $to_show . " package builds</title>\n"; print "<link rel=\"stylesheet\" type=\"text/css\" href=\"/static/style.css\">\n"; print "</head>\n"; print "<body>\n"; +show_warning_on_offline_slave(); print "<a href=\"https://buildmaster.archlinux32.org/\">Start page</a>\n"; print "<a href=\"https://buildmaster.archlinux32.org/build-logs/\">build logs</a><br>\n"; |