package/utils: Use download response URL to extract filename
049c41f6144d
Actions

Description

package/utils: Use download response URL to extract filename

requests follows URL redirection by default for GET requests so
update input URL to response one to ensure correct filename will
be extracted from it.

Details

Provenance

anlambert	Authored on Sep 14 2021, 12:08 PM
anlambert	Pushed on Sep 16 2021, 10:47 AM

Differential Revision

D6252: package/utils: Improve downloaded filename extraction

Tasks

T3468: staging: current opam loading issues

Build Status

Buildable 23664
Build 36939: test-and-build	Jenkins console · Jenkins

Event Timeline

anlambert committed rDLDBASE049c41f6144d: package/utils: Use download response URL to extract filename (authored by anlambert).Sep 16 2021, 10:42 AM

anlambert added a task: T3468: staging: current opam loading issues.Sep 16 2021, 10:48 AM

anlambert added an edge: D6252: package/utils: Improve downloaded filename extraction.

Harbormaster completed building B23664: rDLDBASE049c41f6144d: package/utils: Use download response URL to extract filename.Sep 16 2021, 10:50 AM

Commit No Longer Exists

This commit no longer exists in the repository.