[tor-commits] [tor/master] Rename check_server_ports to check_and_prune_server_ports