JuliaDocs/Documenter.jl
Auf GitHub ansehenAvoid checking same link multiple times?
Open
#1.700 geöffnet am 16. Sept. 2021
Type: Enhancementhelp wanted
Repository-Metriken
- Stars
- (910 Stars)
- PR-Merge-Metriken
- (Durchschn. Merge 16T 9h) (3 gemergte PRs in 30 T)
Beschreibung
Right now, every link in the document is checked but in theory each unique URL only needs to be checked once. It's not a big concern, but I have seen some flaky servers that timeout a small fraction of the time, and so checking the link more than once gives more chance of timeout and also means more time waiting for these slow servers