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
484485486487488489490491492493494
} continue; } result.addSucceeded(server); // Very first round: go up to max if it's smooth sailing! if (result.succeededMaximally()) { return result.addFailed(retries); } } if (noRetries) { // if we can't retry, don't: return result.addFailed(retries);
479480481482483484485486487488489