diff options
| 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) | |
| download | archweb32-387dad0f23138c8ee375bb9914299276f5f295ad.tar.xz | |
lib/helper.php: site_is_reachable(): increase timeout to 10 seconds - 1 second was just the debug/developement value
| -rw-r--r-- | lib/helper.php | 2 |
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)) |