[time-nuts] TBolt: UTC PPS

[Magnus Danielson]

Bruce Griffiths wrote:
> 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. 
In that case the function is completely incorrectly named.

Cheers,
Magnus