
12 Feb
2005
12 Feb
'05
9:10 p.m.
On Sat, Feb 12, 2005 at 08:46:44PM +0000, Aaron Denney wrote:
On 2005-02-12, John Meacham
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⑈