Updating Orekit data: could not resolve host

Dear all,

I wanted to update my orekit data today by means of the bash script update.sh, this script is convenient and saves me some time.

However, the primary website for TAI-UTC was unavailable for quite some time today in http (now it just came back online):

curl: (6) Could not resolve host: maia.usno.navy.mil

Then the bash script thinks that the download was successful and overwrites my tai-utc.dat file by an empty file:

http://maia.usno.navy.mil/ser7/tai-utc.dat fetched

This can create issues for people who want to update their orekit data automatically. There are easy workarounds:

This is not something super important, but I hope it can help if somebody else encounters the same issue.


Good catch!
I’ll try to fix that, perhaps tomorrow.

This is fixed in the repository now.

Great, thank you for the quick response.