Refer to all_servers array defined earlier.