인터넷 파일 업데이트 날짜 가져오기

2178 단어 PHP
어떤 kenkoo의AtCoder Problems의Dataset이 업데이트되면 얻을 수 있습니다. 저는 이런 프로그램을 작성하고 싶습니다.
어떻게 하면 업데이트 정보를 얻을 수 있을까...
file_get_콘텐츠를 사용하면 $httpresponse_헤더가 따라올 거예요.
이런 정보가 있습니다. file-get_콘텐츠로 하면...목적데이터는 460MB 이상이죠...
단지 업데이트 정보를 얻기 위해 460MB의 전송이 여러 차례 발생하면 켄쿠샨이 전차포로 패배할 것 같아 다른 방법을 썼다.

get_headers()

get_headers.get_headers를 사용하여 $http_response_header와 같은 정보를 얻습니다.
헤더 정보만 얻기 때문에 호스트를 다운로드할 필요가 없다.file_get_contents쓰면 45초 정도, get_headers면0.2초 정도)
헤더 정보 중 Last-Modified 은 최종 업데이트 시간입니다.

견본

<?php
    $url = "https://s3-ap-northeast-1.amazonaws.com/kenkoooo/atcoder.sql";

    $data = get_headers($url, 1);
    $time_modify = $data['Last-Modified'];
    echo date("Y-m-d H:i:s", strtotime($time_modify));
  • 실행 결과
  • 2019-08-13 03:42:06
    

    좋은 웹페이지 즐겨찾기