ping.php

 ';
    
    }
    
    echo 'ping to '.$host.' ['.gethostbyname($host).'] with port:'.$port.' of data:';
    
    for($i = 0;$i < $num;$i++){
    
        echo ping_f($host,$port);
        
        //每次运行中间间隔1S
        
        sleep(1);
        
        //刷新输出缓存
        
        ob_flush();
        
        flush();
    
    }

?>