{"name":"gist: 875753","desc":"A quick snippet to ping an address with a port with PHP.","actor":"Zack0Wack0","url":"https://gist.github.com/875753","snippet":"//These values will ping a minecraft server (I've chosen some random dedi-server here)\n$address = \"mc.pewpew.dk\";\n$port = 25565;","actor_gravatar":"d4f18621936b21e1f8555e28bba0eae3","action":"create"}