}
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);