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