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