curl

を介してphpでのヘッダーのみの検索を行うために、最終修正日などのファイルメタデータの効率的な検索を検討します。この方法は、リモートサーバーの処理能力と帯域幅の消費を大幅に削減できます。 curl_setopt（$ curl、curlopt_nobody、true）;

これはヘッドリクエストを送信するようにcurlに指示します。 curl_getinfo（）を使用して、curlハンドルからファイル情報を取得できます。例は次のとおりです。 curl_setopt（$ curl、curlopt_url、 "http：//url/file.xml"）; curl_setopt（$ curl、curlopt_header、true）; curl_setopt（$ curl、curlopt_filetime、true）; curl_setopt（$ curl、curlopt_nobody、true）; curl_exec（$ curl）; $ filetime = curl_getinfo（$ curl、curlinfo_filetime）; //最後の変更のタイムスタンプを返します curl_close（$ curl）;

curl_setopt($curl, CURLOPT_HEADER, true);
curl_setopt($curl, CURLOPT_NOBODY, true);

ここに、curl： ; } //他の情報を取得するために他の関数を追加できます。 } $ uri_info = new uriinfo（ 'http://example.com/index.html'）; $ filetime = $ uri_info-> getFiletime（）; if（$ filetime！= -1）{ エコー日付（ 'y-m-d h：i：s'、$ filetime）; } それ以外 { echo 'filetime notableas'; }