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:
This can create issues for people who want to update their orekit data automatically. There are easy workarounds:
- Check the return code of
curl
- Add the backup server http://toshi.nofs.navy.mil
- Access the server in FTP: ftp://maia.usno.navy.mil was still working when the http website was down
This is not something super important, but I hope it can help if somebody else encounters the same issue.
Cheers
Clément