Searched refs:usableIndex (Results 1 – 1 of 1) sorted by relevance
290 int usableIndex = 0; in res_set_usable_server() local292 if (usable_servers[ns]) ++usableIndex; in res_set_usable_server()293 if (usableIndex != selectedServer) usable_servers[ns] = false; in res_set_usable_server()