diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-10-31 16:33:19 +0100 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-11-14 13:35:01 +0100 |
| commit | e4aee9470da57a47d029f15ffa6795fba0398d60 (patch) | |
| tree | d56010a51da48e5f55945d86d99780831ae5fe1c /bin/just-import-git.py | |
| parent | fca9ce75d5cb6d90edab84aec5fdfea7af7d8b59 (diff) | |
| download | justbuild-e4aee9470da57a47d029f15ffa6795fba0398d60.tar.gz | |
curl_easy_handle: Allow non-fatal logging of errors in curl operations
In order to allow non-fatal retries of fetches, be it from same
remote or not (e.g., mirrors), the handle now reports with a
caller-defined LogLevel.
Diffstat (limited to 'bin/just-import-git.py')
0 files changed, 0 insertions, 0 deletions