[time-nuts] TBolt: UTC PPS

[Bruce Griffiths]

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