wip #5220 @0.25

diff --git a/inc/ws/Controlleur/class.ws.maintenance.php b/inc/ws/Controlleur/class.ws.maintenance.php
index b1bcd35893dd0d89a1f5157e3e4584164609cbaa..afbcc212a5437967677dceeb46cba5d2ae8edda2 100644 (file)
--- a/inc/ws/Controlleur/class.ws.maintenance.php
+++ b/inc/ws/Controlleur/class.ws.maintenance.php
@@ -1861,7 +1861,7 @@ class wsMaintenance
         }
 
         foreach ($servers as $id => $farmer) {
-            if (isset($pings[$id]) || !$pings[$id]) {
+            if (isset($pings[$id]) && !$pings[$id]) {
                 // If ping failed recently, we wait a bit before trying again.
                 if (rand(0, 9) === 5) {
                     continue;