index : archweb32 | |
Archlinux32 website | 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; |