public IReplConnection getRandomSeed()
{
List<IReplConnection> available_servers = new List<IReplConnection>();
this.scanSeeds();
foreach (var server_guid in servers) {
try {
available_servers.Add(myhandler.ctx.connector.getServerHandle(server_guid));
} catch (KeyNotFoundException) {
Console.WriteLine("getRandomSeed: server {0} not available", server_guid);
}
}
if (available_servers.Count == 0) {
throw new NoServersAvailableException("getRandomSeed: no servers avaialble");
}
IReplConnection[] srvr_array = available_servers.ToArray();
int pick = myhandler.rnd.Next(available_servers.Count);
return available_servers[pick];
}