Hi Elie,
Open a command prompt and try to ping the server with the following command and see if you get a response from an IP address..
ping SERVERNAME
Please Login to Report Topic
Please Login to Share Feed
Edit Discussion
You are navigating away from the AIS Discovery experience