TypesettingTools/ffi-experiments

[DM] Set a timeout

Opened this issue · 0 comments

https://curl.haxx.se/libcurl/c/CURLOPT_TIMEOUT.html

Currently, in a scenario with an unstable connection and Linux, we can hang for a very long time. We should consider a specific-duration timeout, depending on the size of the downloaded files, and also potentially thread it through the API and make it user-configurable.