Re: [gpsd-dev] [PATCH 3/3] Print offset in ntpshmmon instead of reference time

[Miroslav Lichvar]

On Wed, May 13, 2015 at 11:47:18AM -0700, Gary E. Miller wrote:
> On Wed, 13 May 2015 10:47:55 +0200
> Miroslav Lichvar <address@hidden> wrote:
> > Why not? I'd prefer a solution where no information is lost too, but
> > in this case I don't think it really matters.
> 
> But it does matter.  Those last bits of precision had real information
> in them.  

Information that pystripchar will be able to show? In a window that
maybe has resolution of 8-12 bits?

> If you prefer better, why do you argue for less, when better is so easy?

Well, it doesn't look so easy to me. :)

> > Also, pystripchart seems to handle the data internally as floats, so
> > even if the offset was parsed in a wider format, there would likely be
> > no difference in the output. The precision would be just lost slightly
> > later in the processing.
> 
> NA.  I already fixed pystripchart.

Hm, ok. Where is the repo? In the CVS I found on sourceforge last
commit was made 11 years ago.

-- 
Miroslav Lichvar