Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
PHP: set get_headers timeout
<?php
$url = 'https://upload.wikimedia.org/wikipedia/commons/thumb/2/27/PHP-logo.svg/100px-PHP-logo.svg.png';
// Store previous default context
$prev = stream_context_get_options(stream_context_get_default());
// Set a small timeout
stream_context_set_default([
'http' => [
'timeout' => 3, // seconds
]
]);
// Do the head request
$req = @get_headers($url, true);
if (!empty($req)) {
// Do some useful stuff here
print_r($req);
}
// Restore previous default context
stream_context_set_default($prev);
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment