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/todos.php | |
| parent | 336ca22abf7f14444185fe8543d7188a248b5a06 (diff) | |
| download | archweb32-d71ef8a35787bce195db69e2e70e74032e6aa1d5.tar.xz | |
show warning on stopped slave
Diffstat (limited to 'buildmaster/todos.php')
| -rw-r--r-- | buildmaster/todos.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/buildmaster/todos.php b/buildmaster/todos.php index ba870fc..2f8d15c 100644 --- a/buildmaster/todos.php +++ b/buildmaster/todos.php @@ -71,6 +71,7 @@ if (isset($_GET["graph"])) { print "<title>Todos in the build scripts</title>\n"; print "</head>\n"; print "<body>\n"; + show_warning_on_offline_slave(); while ($row = $result->fetch_assoc()) { print "<a href=\"#TODO" . $row["id"] . "\">TODO #" . $row["id"] . "</a>"; |