938939940941942943944945946947948
} continue; } result.addSucceeded(server); // first round: go to the max, if possible if (result.succeededMaximally()) { return result.addFailed(retries); } } if (noRetries) { // if no retries, bail out quickly return result.addFailed(retries);
933934935936937938939940941942943