| 27 if [ -e "$2" ]; then |
27 if [ -e "$2" ]; then |
| 28 echo "File exists" |
28 echo "File exists" |
| 29 exit 1 |
29 exit 1 |
| 30 fi |
30 fi |
| 31 failed=0 |
31 failed=0 |
| 32 wget -t 3 "$1" -O "$2" -o "wget.log" --retry-connrefused --waitretry=2 \ |
32 wget -t 5 "$1" -O "$2" -o "wget.log" --retry-connrefused --waitretry=5 \ |
| 33 --ca-certificate="${STAGE_DIR}/../cacert.pem" \ |
33 --ca-certificate="${STAGE_DIR}/../cacert.pem" \ |
| 34 || failed=1 |
34 || failed=1 |
| 35 if [ $failed != 0 ] ; then |
35 if [ $failed != 0 ] ; then |
| 36 if [ "$3" != "quiet" ] ; then |
36 if [ "$3" != "quiet" ] ; then |
| 37 echo "Download failed" |
37 echo "Download failed" |