index : website | |
Archlinux32 website - obsolete | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2018-12-07 10:49:07 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-12-07 10:49:07 +0100 |
commit | 387dad0f23138c8ee375bb9914299276f5f295ad (patch) | |
tree | a1cd1f34e763beb3f31f5088e8d3af4269a7f215 | |
parent | e86c3b3a66e8f62c3c97ea6b15c29c80c999d1c6 (diff) |
-rw-r--r-- | lib/helper.php | 2 |
diff --git a/lib/helper.php b/lib/helper.php index 05ff2e1..e2235fb 100644 --- a/lib/helper.php +++ b/lib/helper.php @@ -172,7 +172,7 @@ function if_unset($array, $index, $default) { function site_is_reachable($url) { $scd = stream_context_get_default(); - stream_context_set_default(array('timeout' => 1)); + stream_context_set_default(array('timeout' => 10)); $headers = get_headers($url); stream_context_set_default($scd); if (is_array($headers)) |