// Token: 0x06001056 RID: 4182 RVA: 0x00042DA4 File Offset: 0x00040FA4
public void UpdateServerHealth(PickerServer server, bool?isHealthy)
{
lock (this.stateLock)
{
int num = this.serverList.IndexOf(server);
if (num != -1)
{
server = this.serverList[num];
server.InternalUpdateServerHealth(isHealthy);
}
}
}
