Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Change update frequency for index.txt #1318

Merged
merged 2 commits into from
Jun 30, 2022

Conversation

aarchiba
Copy link
Contributor

index.txt must be checked to see what global clock corrections are available, whether old versions have been flagged as invalid, and how often other files should be checked for updates. That happens only if it is older than a certain amount. This amount was set to just a couple of minutes in the early stages of testing, but this PR sets it to 1 day. Longer would probably be fine.

index.txt is a small file but if one has a flaky net connection getting it can be slow and annoying.

@aarchiba aarchiba added awaiting review This PR needs someone to review it so it can be merged minor A minor PR that doesn't need a lot of thought labels Jun 30, 2022
@codecov
Copy link

codecov bot commented Jun 30, 2022

Codecov Report

Merging #1318 (22ded01) into master (496144a) will not change coverage.
The diff coverage is 100.00%.

@@           Coverage Diff           @@
##           master    #1318   +/-   ##
=======================================
  Coverage   61.64%   61.64%           
=======================================
  Files          89       89           
  Lines       20174    20174           
  Branches     3614     3614           
=======================================
  Hits        12436    12436           
  Misses       6961     6961           
  Partials      777      777           
Impacted Files Coverage Δ
src/pint/observatory/global_clock_corrections.py 97.29% <100.00%> (ø)

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 496144a...22ded01. Read the comment docs.

@dlakaplan
Copy link
Contributor

Seems straightforward to me. I can merge if you are ready.

@aarchiba
Copy link
Contributor Author

That would be great.

@dlakaplan dlakaplan merged commit f21a68a into nanograv:master Jun 30, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
awaiting review This PR needs someone to review it so it can be merged minor A minor PR that doesn't need a lot of thought
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants