Servers take a long time to ping after clicking the refresh button many times

If you hit refresh in the server list many times in a row, it'll get stuck on pinging all the servers for an abnormally long time, proportional to the number of times you clicked refresh.