diff options
-rwxr-xr-x | fetch-pages | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/fetch-pages b/fetch-pages index be2209a..6cbc60b 100755 --- a/fetch-pages +++ b/fetch-pages @@ -35,7 +35,7 @@ while [ "$url" ]; do if [ "$since" -le "$LIMIT" -a "$since" -ne 0 ]; then break; fi echo "Fetching ${BASE}${url}..." >&2 - curl -f -L -o "${OUTDIR}/pages/${since}.html" "${BASE}${url}" + curl -f --retry 20 -L -o "${OUTDIR}/pages/${since}.html" "${BASE}${url}" url="$(sed -r -n '/SOUP\.Endless\.next_url/ {s#^.*SOUP\.Endless\.next_url = '\''([^'\'']+)'\'';.*$#\1#;p}' "${OUTDIR}/pages/${since}.html")" # Be nice, don't overload the servers! |