$ip = '127.0.0.1';//IP地址
if (PATH_SEPARATOR==':')//linux
{
exec("ping $ip -c 4",$info);
if (count($info) < 9)
{
return '服务器无法连接';
}
//获取ping的时间
$str = $info[count($info)-1];
return round(substr($str, strpos($str,'/',strpos($str,'='))+1 , 4));
}
else //windows
{
exec("ping $ip -n 4",$info);
if (count($info) < 10)
{
return '服务器无法连接';
}
//获取ping的时间
$str = $info[count($info)-1];
return substr($str, strripos($str,'=')+1);
关键字词:
