Re: millisecond time format

[Hans-Bernhard B. <HBB...@t-...>]

pl...@pi... wrote:

> So the code can already handle decimal fractions of seconds,

No.  Nothing in the code is actually prepared to work with fractions of 
seconds.  Somebody just thought, a *long* time ago, that the usable 
range of 32-bit integers was a bit small (viz. the "Y2K37 problem"), and 
that most systems' "double" can hold a wider range of integers.

> it's just a  
> case adding IO specifiers and adjusting the output routines. Is that  
> correct?

No. "Just" isn't even remotely doing justice to the kind of trickery 
needed to keep time/date data handling in a state resembling sanity.

> Would it be much work to add something like the microsecond specifier I  
> suggested and get it to accept a decimal part. (Using %MM:%SS.%UUU takes  
> care of any question of european locales using comma separtors on input.)

It also goes against the grain of the existing format specifications. 
It should have to be "%M:%S:%U" or something like that --- except that 
it can't be %U.  That's taken; see "help time_specifiers".