Skip to content

Conversation

@pkgw
Copy link
Collaborator

@pkgw pkgw commented Jan 11, 2021

Implementing @malbarbo's #525 with a sub-crate to isolate the HTTP backend API.

Starting out as a draft, checking that we didn't break anything before adding the new curl backend.

This will supersede #525 once it's ready.

@codecov
Copy link

codecov bot commented Jan 11, 2021

Codecov Report

Merging #726 (d44fa26) into master (2ab196b) will decrease coverage by 0.00%.
The diff coverage is 73.33%.

Impacted file tree graph

@@            Coverage Diff             @@
##           master     #726      +/-   ##
==========================================
- Coverage   46.83%   46.83%   -0.01%     
==========================================
  Files         130      130              
  Lines       59700    59639      -61     
==========================================
- Hits        27963    27929      -34     
+ Misses      31737    31710      -27     
Impacted Files Coverage Δ
src/config.rs 58.10% <ø> (ø)
src/document.rs 68.93% <0.00%> (-0.30%) ⬇️
src/errors.rs 61.29% <ø> (+1.29%) ⬆️
src/io/cached_itarbundle.rs 78.16% <84.61%> (+2.63%) ⬆️
tectonic/dpx-pdfobj.c 43.05% <0.00%> (+0.17%) ⬆️

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 2ab196b...d44fa26. Read the comment docs.

@pkgw pkgw force-pushed the curl-download-backend branch 6 times, most recently from 14f15b5 to 3716553 Compare January 12, 2021 04:22
pkgw added 6 commits January 12, 2021 09:29
This will work towards making the HTTP backend pluggable between reqwest and curl,
and who knows what else in the future.
And add a "null" backend in case no real web backends are enabled. (This could
be reasonable for a customized use case where one knows that web bundles will
never be needed.)

Also add curl as an optional dependency, but don't implement it yet.
This was just a silly idea.
@pkgw pkgw force-pushed the curl-download-backend branch from 3716553 to 598d11a Compare January 12, 2021 19:58
@pkgw pkgw force-pushed the curl-download-backend branch from a0bcf8b to 577f362 Compare January 13, 2021 02:46
And rework the CI to build/test both with and without it.
@pkgw pkgw force-pushed the curl-download-backend branch from 577f362 to 83a48f6 Compare January 13, 2021 02:56
@pkgw pkgw marked this pull request as ready for review January 14, 2021 04:35
@pkgw pkgw merged commit 6df0026 into tectonic-typesetting:master Jan 14, 2021
@pkgw pkgw deleted the curl-download-backend branch January 14, 2021 04:37
@ratmice ratmice mentioned this pull request Feb 9, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant