Yeah I missed that part, then too can you open terminal and run following command:
1.            ping servername         //instead of servername mention your server's name
type this command and send the screenshot of the output.
2.            telnet servername port_number
The default port number is 1055.
You are navigating away from the AIS Discovery experience