Re: [gpsd-dev] Please review Miroslav's attempted fix.

[Eric S. Raymond]

Miroslav Lichvar <address@hidden>:
> Well, it's a real bug, easily reproducible by setting the clock off
> by more than one second in one direction or million seconds in the
> other direction.

I believe you. The question is how we re-integrate your fix correctly.
 
> With the patch, do you see any "PPS: no current GPS seconds:"
> messages? It would be useful to see the full debug output.

I don't know whether that message comes up from gpsd, because I noticed the
bug and verified the fix with gpsmon. With your patch in place there were
no PPS-event bars in the gpsmon display; when I reverted it, they were
restored.

Do you have a PPS-capable device you can test with?
-- 
                <a href="http://www.catb.org/~esr/";>Eric S. Raymond</a>