php实现ping

Pinging
";
$to_ping = "dtheatre.com";
$count = 3;
$psize = 65;
echo " Please be patient, this can take a few moments...\n
";
flush();
while (1) {
?>