summaryrefslogtreecommitdiffstats
path: root/check.php
diff options
context:
space:
mode:
authorRemi Collet <remi@remirepo.net>2019-11-22 14:01:08 +0100
committerRemi Collet <remi@remirepo.net>2019-11-22 14:01:08 +0100
commit3ab9fc3f67b38d7c3412d507eb2ea0bbcc4aa94c (patch)
treedfe89dfa278de403dd031d1d17684437170e9f29 /check.php
parente260cdb427d62a7f8e21c7fcb321b59320bffe72 (diff)
drop broken remi.repo file
Diffstat (limited to 'check.php')
-rwxr-xr-xcheck.php2
1 files changed, 1 insertions, 1 deletions
diff --git a/check.php b/check.php
index 7e07ccca..5f525661 100755
--- a/check.php
+++ b/check.php
@@ -126,7 +126,7 @@ $deprecated = array(
function getRepoTime($uri) {
$ctx = stream_context_create([
'http' => [
- 'timeout' => 1.5,
+ 'timeout' => 4,
]
]);
$txt = @file_get_contents($uri . '/repodata/repomd.xml', false, $ctx);