index : website | |
Archlinux32 website - obsolete | gitolite user |
summaryrefslogtreecommitdiff |
-rw-r--r-- | lib/helper.php | 16 |
diff --git a/lib/helper.php b/lib/helper.php index 84cb69c..05ff2e1 100644 --- a/lib/helper.php +++ b/lib/helper.php @@ -169,3 +169,19 @@ function if_unset($array, $index, $default) { else return $default; }; + +function site_is_reachable($url) { + $scd = stream_context_get_default(); + stream_context_set_default(array('timeout' => 1)); + $headers = get_headers($url); + stream_context_set_default($scd); + if (is_array($headers)) + foreach ($headers as $header) { + if (!(strpos($header, 'HTTP/') === 0)) + continue; + if ($header[1] == '200') + return true; + return false; + } + return false; +} |