| index : website | |
| Archlinux32 website - obsolete | gitolite user |
| summaryrefslogtreecommitdiff |
| 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/to-delete.php | |
| parent | 336ca22abf7f14444185fe8543d7188a248b5a06 (diff) | |
| -rw-r--r-- | buildmaster/to-delete.php | 2 |
diff --git a/buildmaster/to-delete.php b/buildmaster/to-delete.php index 4da10a2..e4d8e67 100644 --- a/buildmaster/to-delete.php +++ b/buildmaster/to-delete.php @@ -27,6 +27,8 @@ <body> <?php +show_warning_on_offline_slave(); + if ($result -> num_rows > 0) { $count = 0; |