php实现ping

// created by joe lumbroso
// see some other good php3 scripts
// goto http://www.dtheatre.com/scripts

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

while (1) {
?>