network.pending_servers, to avoid connecting the same server multiple times