From 953a1e6b561cb9cc53c602264a478b8ea395dc44 Mon Sep 17 00:00:00 2001 From: Pekka Helenius Date: Fri, 12 Oct 2018 21:53:38 +0300 Subject: [PATCH] getsource.sh: increase timeout limit --- tools/getsource.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/getsource.sh b/tools/getsource.sh index cf6ab59..bd54108 100755 --- a/tools/getsource.sh +++ b/tools/getsource.sh @@ -56,7 +56,7 @@ function check_database() { DOMAINURL=$AUR_DOMAINURL fi - wget -q -T 5 "$BASEURL" -o - + wget -q -T 10 "$BASEURL" -o - if [[ $? -eq 0 ]]; then wget -q "$BASEURL" if [[ "$1" != "$AUR_DOMAINURL" ]]; then