private void TryWrite(IDataServer server, int val)
{
int tries = 3;
while(tries > 0) {
try
{
server.Write(this.uid, PadiDstm.currentTimestamp, val);
return;
}
catch (SocketException e)
{
PadInt refreshed = PadiDstm.AccessPadInt(uid);
servers = refreshed.servers;
tries--;
}
}
}