Added wget flag to reset connection.

This commit is contained in:
David Manouchehri 2017-12-18 13:12:41 -05:00
parent ab7adba3b8
commit d699d3bb70
No known key found for this signature in database
GPG Key ID: 44AE189680F871D2

@ -64,7 +64,7 @@ mkdir -p "$SUPPORT_DIR"
# Get archive using wget.
ARCH_URL="https://github.com/avast-tl/retdec-support/releases/download/$VERSION/$ARCH_NAME"
echo "Downloading archive from $ARCH_URL ..."
wget --no-verbose "$ARCH_URL" -O "$SUPPORT_DIR/$ARCH_NAME"
wget --no-verbose --read-timeout=10 "$ARCH_URL" -O "$SUPPORT_DIR/$ARCH_NAME"
WGET_RC=$?
if [ "$WGET_RC" -ne 0 ]; then
echo "ERROR: wget failed"