Browse Source

getsource.sh: increase timeout limit

master
Pekka Helenius 6 years ago
committed by GitHub
parent
commit
953a1e6b56
No known key found for this signature in database GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
  1. +1
    -1
      tools/getsource.sh

+ 1
- 1
tools/getsource.sh View File

@ -56,7 +56,7 @@ function check_database() {
DOMAINURL=$AUR_DOMAINURL DOMAINURL=$AUR_DOMAINURL
fi fi
wget -q -T 5 "$BASEURL" -o -
wget -q -T 10 "$BASEURL" -o -
if [[ $? -eq 0 ]]; then if [[ $? -eq 0 ]]; then
wget -q "$BASEURL" wget -q "$BASEURL"
if [[ "$1" != "$AUR_DOMAINURL" ]]; then if [[ "$1" != "$AUR_DOMAINURL" ]]; then


Loading…
Cancel
Save