Может пригодиться, к примеру, для задач кеширования. Мы запросим с сервера только заголовки файла и извлечем из них значение 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.
Вы можете перейти в конец страницы и оставить ваш комментарий.
Мало букафф? Читайте есчо !
Ноябрь 19, 2019 г.
При создании расписаний, календарей, и т.п. могут возникать задачи вроде - получить timestamp первого дня этого месяца, или последнего дня следующего и т.п.
В лоб это решается вот так:
[crayon-6a1f2dba97221441225063/]
Со следующим месяцем ...
Читать
Май 4, 2017 г.
Писал ранее об API ipinfo.io. Сервис позволяет вытащить как гео координаты, так и названия города, региона, страны. Единственный недостаток - информация на английском языке. В данной статье рассмотрим пару примеров использования сервиса.
Обращение ...
Читать
Июнь 23, 2018 г.
Когда требуется получить HTTP код для заданной URL, то вы наверняка воспользуетесь PHP функцией get_headers($url). Дальше я расскажу о разных подводных ...
Читать
Декабрь 19, 2012 г.
Простому пользователю от пароля хочется двух вещей - надежности и легкости запоминания.
В случае произвольно создаваемых паролей, желаемая надежность достигается очень легко (увеличили длину генерируемого пароля или расширили набор символов, из которого ...
Читать