| Index: src/platform/dev/stateful_update
|
| diff --git a/src/platform/dev/stateful_update b/src/platform/dev/stateful_update
|
| index 5ed234582bcf68d4069eefe4d92da9b132bf603f..b73d796a6882b74d3ca0ddc07d31f9dd4232fa1b 100755
|
| --- a/src/platform/dev/stateful_update
|
| +++ b/src/platform/dev/stateful_update
|
| @@ -35,7 +35,9 @@ mkdir -p "$STATEFUL_MOUNT_POINT"
|
|
|
| # Unzip mount and copy the relevant directories.
|
| # Get the update.
|
| -eval "wget -O - \"$STATEFUL_UPDATE_URL\"" | gzip -d > $STATEFUL_IMAGE
|
| +eval "wget -qS -T 300 -O - \"$STATEFUL_UPDATE_URL\"" | \
|
| + gzip -d > $STATEFUL_IMAGE
|
| +echo "Successfully downloaded update"
|
| trap "rm -f \"$STATEFUL_IMAGE\"" EXIT
|
| mount -n -o loop "$STATEFUL_IMAGE" "$STATEFUL_MOUNT_POINT"
|
| if [ -d "$STATEFUL_MOUNT_POINT/var" ] && \
|
|
|