RE: pinging a down server