我正在尝试检查形式为
的arXiv网址http://arxiv.org/pdf/[some 4位数字。[[4位数] .pdf
是pdf文件或html页面。我的功能目前看起来像
function is_url_exist($url){
$ch = curl_init($url);
curl_setopt($ch, CURLOPT_NOBODY, true);
curl_exec($ch);
$code = curl_getinfo($ch, CURLINFO_HTTP_CODE);
if($code == 200){
$status = "true";
}else{
$status = "false";
}
curl_close($ch);
return $status;
}
问题是该函数为http://arxiv.org/pdf/1207.0102.pdf返回false,这是一个pdf文件,而http://arxiv.org/pdf/1217.2314.pdf是一个html页面。有办法解决这个问题吗?
答案 0 :(得分:0)
为什么不检查扩展程序?
<?PHP
if(strtolower(substr($url, -3, 3)) == "pdf"){
// Do something with pdf
} else {
// Not pdf
}
?>