index : website | |
Archlinux32 website - obsolete | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2019-02-07 15:40:56 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2019-02-07 15:40:56 +0100 |
commit | bb46bd3f756f4e9901ab68a919d2641b681dd147 (patch) | |
tree | a0f915c095277b2468892ca61190e6a7fd6c990a | |
parent | e8a5ea6d47d6aaf85bd370252e7c9aa82d40865e (diff) |
-rw-r--r-- | lib/helper.php | 6 |
diff --git a/lib/helper.php b/lib/helper.php index 8296cd9..8c910ac 100644 --- a/lib/helper.php +++ b/lib/helper.php @@ -171,10 +171,8 @@ function if_unset($array, $index, $default) { }; function site_is_reachable($url) { - $scd = stream_context_get_default(); - stream_context_set_default(array('timeout' => 10)); - $headers = get_headers($url); - stream_context_set_default($scd); + $stream_context = stream_context_create(array('timeout' => 10)); + $headers = get_headers($url, 0, $stream_context); if (is_array($headers)) foreach ($headers as $header) { if (!(strpos($header, 'HTTP/') === 0)) |