php中的gethostbyname函数有问题

在根据域名获取ip的批量执行中，gethostbyname有些域名得到的ip是不正确的，不知道是不是版本的bug。

解决办法是，使用执行命令的方式获取

echo exec("host domain |awk ‘{print $4}’ ");

即可得到ip