Updated the named of print_server_info to print_server_info_list to better reflect what it is actually doing.