Thanks, applied as b1a3f9f5adb2fdb2089298a7221354b4af7af3db.

Michael

[sent from post-receive hook]

On Sat, 20 Jun 2020 00:03:59 +0200, Roland Hieber <[email protected]> wrote:
> Some SourceForge URLs seem to fail randomly. Log the redirected URL to
> facilitate debugging.
> 
> Signed-off-by: Roland Hieber <[email protected]>
> Message-Id: <[email protected]>
> Signed-off-by: Michael Olbrich <[email protected]>
> 
> diff --git a/scripts/lib/ptxd_make_get.sh b/scripts/lib/ptxd_make_get.sh
> index 3ac0b71c2a83..d5003384619b 100644
> --- a/scripts/lib/ptxd_make_get.sh
> +++ b/scripts/lib/ptxd_make_get.sh
> @@ -94,6 +94,7 @@ ptxd_make_get_http() {
>               --location \
>               --head \
>               --request GET \
> +             --write-out '\n%{url_effective}\n' \
>               "${url}" &&
>               if grep -i "content-type:" "${temp_header}" | tail -n 1 | grep 
> -q "text/html"; then
>                   ptxd_bailout "Got HTML file"

_______________________________________________
ptxdist mailing list
[email protected]
To unsubscribe, send a mail with subject "unsubscribe" to 
[email protected]

Reply via email to