Time Libraries Rough Draft

John Meacham john at repetae.net
Sat Feb 12 21:10:01 EST 2005


On Sat, Feb 12, 2005 at 08:46:44PM +0000, Aaron Denney wrote:
> On 2005-02-12, John Meacham <john at repetae.net> wrote:
> > getLeapSecondTable = do
> >         handle (\_ -> return builtInTable) $  readFile "/etc/leapseconds"
> >                 >>= return . readLeapSecondTable
> 
> libtai uses (${PREFIX})/etc/leapseconds.dat
> the Time Service of the US Naval Observatory provides one at
> ftp://maia.usno.navy.mil/ser7/tai-utc.dat
> 
> It would be nice if we could use one of those formats rather than
> creating yet another one.

Yeah, definitly. Then for perfect UTC and TAI, all that is needed is a
one-line cron job to snarf that file (at least once every 6 months) and
a NTP synchronized time_t. 
        John

-- 
John Meacham - ⑆repetae.net⑆john⑈ 


More information about the Libraries mailing list