Magnus Danielson wrote:
Bob Camp wrote:
Hi
When there's a leap second, what do you want to do?
Ignore it = GPS time
put in an extra pulse = UTC time
No, this is about which set of corrections to use. The GPS time is
what the navigation solution cranks out, and UTC time is what you then
correct that into for user display.
Cheers,
Magnus
When a leapsecond occurs the PPS pulse labels at the top of the minute
are changed, no extra pulse is inserted.
Bruce
_______________________________________________
time-nuts mailing list -- time-nuts@febo.com
To unsubscribe, go to https://www.febo.com/cgi-bin/mailman/listinfo/time-nuts
and follow the instructions there.