To get more information, from the device you are having trouble with, try “dig server.com” from a terminal, or even “ping server.com”. The messages may help you figure out what’s going wrong.