リモートファイルの最終変更時刻を取得したい。ここで見つけたこのコードをstackoverflowで使用しています
$curl = curl_init();
curl_setopt($curl, CURLOPT_URL,$url);
//don't fetch the actual page, you only want headers
curl_setopt($curl, CURLOPT_NOBODY, true);
curl_setopt($curl, CURLOPT_HEADER, true);
//stop it from outputting stuff to stdout
curl_setopt($curl, CURLOPT_RETURNTRANSFER, true);
// attempt to retrieve the modification date
curl_setopt($curl, CURLOPT_FILETIME, true);
$result = curl_exec($curl);
echo $result;
$info = curl_getinfo($curl);
print_r($info);
if ($info['filetime'] != -1) { //otherwise unknown
echo date("Y-m-d H:i:s", $info['filetime']); //etc
}
このコードの問題私は常に filetime = -1 を取得しています。しかし、私が削除するとき
curl_setopt($curl, CURLOPT_NOBODY, true);
それから私は正しい修正時間を取得しています。
最終変更時刻を取得することは可能ですが、
curl_setopt($curl, CURLOPT_NOBODY, true);
スクリプトに含まれています。本文ではなく、ページのヘッダーだけが必要です。
前もって感謝します