[time-nuts] Leap from HP Z3801A (as seen from a Linux box)

[Hal Murray]

56108 86396.034 32 scpi > T22012063023595730+0041
56108 86397.034 32 scpi > T22012063023595830+0042
56108 86398.036 32 scpi > T22012063023595930+0043
56108 86399.036 32 scpi > T22012063023596030+003B  <===
56108 86399.034 32 scpi > T22012070100000030+0021  <===
56109     0.037 32 scpi > T2201207010000013000027
56109     1.034 32 scpi > T2201207010000023000028
56109     2.033 32 scpi > T2201207010000033000029

First column is MJD, second column is seconds this day, third column is 
length of the line,
rest of the line is whatever was read in from the serial port.

Note that the seconds in col 2 are off by 1 from the seconds in the T2 format 
message.  I assume the T2 format message describes the time for the next PPS 
pulse.

The first of the marked lines says 235960 so the HP Z3801 did the right thing.

The second of the tagged lines shows a repeat of 235959 so the OS set the 
clock back a second.

>From the log file:

Jun 30 16:59:59 glypnod kernel: [81017.359001] Clock: inserting leap second 
23:59:60 UTC


-- 
These are my opinions.  I hate spam.