AdaCore / e3-core

Core framework for developing portable automated build systems
27 stars 36 forks source link

Add kwargs parameter to HTTPSession.download_file #592

Closed adanaja closed 1 year ago

adanaja commented 1 year ago

HTTPSession.request can take any additional parameter via kwargs, which allows for example to pass additional headers. However HTTPSession.download_file, which calls the first method in order to perform the query, doesn't allow that. This change adds a kwargs parameter to HTTPSession.download_file to pass additional parameters to the underlying call to HTTPSession.request