This fixes #8105.  It now prints a message saying it could not contact the server.