How to use PHP to ping an address_PHP Tutorial

if(($server == 127.0.0.1) | | ($ server == localhost) | | ($server == getenv("SERVER_ADDR"))) {
echo "

---

";
echo "Fuck Off!
";
echo "

---

";
exit;
} else {
if($server =="") {
echo "

Please enter the url or ip address:

";
exit;
}
$ip = getenv("REMOTE_ADDR");
$hname = getenv(" HTTP_HOST");
echo "Your IP is: $ip
"
."Trying to ping: $ server
"
."Using server: $hname";
echo "

---

";
echo "STATS:
";
$command = "ping -c4 $server";
exec($command, $result, $rval);
if( count($result) echo "No response
";
echo "

---

";
exit;
}
for ($i = 0; $i echo "$result[$i]
";
}
echo "

---

";#include("powered.txt");}?>