Bugfix: No longer use domain name instead of IP to ping server