C:\Users\username>ping batch_manager_server
If the Hosts file is correct you will get a reply from the internal computer. If you get a reply from the computer that you pinged, the Hosts file is working correctly. If you do not get a reply by pinging with the computer name, ping the computer's IP address directly. If the IP address ping is successful, recheck the Hosts file. Another option is to use the ipconfig/displaydns command and ensure that the Hosts file entries are correct.