Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2018-12-07 10:49:07 +0100
committerErich Eckner <git@eckner.net>2018-12-07 10:49:07 +0100
commit387dad0f23138c8ee375bb9914299276f5f295ad (patch)
treea1cd1f34e763beb3f31f5088e8d3af4269a7f215
parente86c3b3a66e8f62c3c97ea6b15c29c80c999d1c6 (diff)
lib/helper.php: site_is_reachable(): increase timeout to 10 seconds - 1 second was just the debug/developement value
-rw-r--r--lib/helper.php2
1 files changed, 1 insertions, 1 deletions
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))