private int TryRead(IDataServer server)
{
int tries = 3;
while (tries > 0)
{
try
{
return server.Read(this.uid, PadiDstm.currentTimestamp);
}
catch (SocketException e)
{
PadInt refreshed = PadiDstm.AccessPadInt(uid);
servers = refreshed.servers;
tries--;
}
}
throw new Exception("Timeout Error: Could not reach the servers where the PadInt was stored.");
}