У меня есть кусок кода для file_get_contents, и он работает нормально, но иногда исходный URL-адрес не отвечает, и из-за этого моя страница не загружается в течение 60 секунд (после тайм-аута по умолчанию). Я хочу установить тайм-аут на 5 секунд для file_get_contents, чтобы сделать что-то еще, если исходный URL не отвечает в течение 5 секунд. это мой код:
<?php
$url = 'https://www.example.com';
$content = file_get_contents($url);
$first_step = explode( '<div class="js-price-value">' , $content );
$second_step = explode("</div>" , $first_step[1] );
$second_step[0]= str_replace( " ", "", $second_step[0]);
if (strlen(trim($second_step[0]))!==0) {
$price=$second_step[0];
echo $price;
}else {
echo '<div>something else</div>'
};
?>
Я хочу что-то вроде этого после кода выше:
if source url dose not respond in 5 seconds
{
do something else
}