Может пригодиться, к примеру, для задач кеширования. Мы запросим с сервера только заголовки файла и извлечем из них значение last-modified.
Почти готовый вариант я нашел в сети, чуть-чуть изменил для своих задач. Принцип описан ваше.
На входе — URL. На выходе последняя дата изменения файла или текущее время, если прочитать данные не удалось.
|
|
function get_lastmod_time($url) { $time = time(); $h = @get_headers($url, 1); if (stristr($h[0], '200')) { foreach($h as $k=>$v) { if (strtolower(trim($k)) == "last-modified") { $time = strtotime($v); break; } } } return $time; } |
Данная запись опубликована в 01.01.2018 23:06 и размещена в рубрике PHP.
Вы можете перейти в конец страницы и оставить ваш комментарий.
Мало букафф? Читайте есчо !
Октябрь 2, 2018 г.
К JSON можно относиться как к одной из разновидностей текстовых форматов передачи данных. Но для PHP это просто ещё одна скалярная строка. Как определить, что перед нами действительно JSON?
Чтобы убедиться, придется попытаться декодировать строку. ...
Читать
Декабрь 5, 2012 г.
Как я писал ранее, хороший информ-сервис, это не куча вариантов виджетов для вашего сайта, а, в наиболее ценном случае, возможность грузить данные информ-сервиса в виде xml. В развитом случае, это целый API для разработчика, с возможностью выборки данных ...
Читать
Август 27, 2018 г.
У instagram есть API, который устареет до конца 2018 года. Всех пересаживают на новую платформу - Instagram Graph API.
Регистрация приложения на этой ...
Читать
Июнь 23, 2018 г.
Когда требуется получить HTTP код для заданной URL, то вы наверняка воспользуетесь PHP функцией get_headers($url). Дальше я расскажу о разных подводных ...
Читать