Re: PATCH: numeric timestamp in log_line_prefix - Mailing list pgsql-hackers

From Fabien COELHO
Subject Re: PATCH: numeric timestamp in log_line_prefix
Date
Msg-id alpine.DEB.2.10.1503221941440.14445@sto
Whole thread Raw
In response to Re: PATCH: numeric timestamp in log_line_prefix  (Tomas Vondra <tomas.vondra@2ndquadrant.com>)
Responses Re: PATCH: numeric timestamp in log_line_prefix
List pgsql-hackers
>> I'm not sure that the "." in "%.03d" is useful. ISTM that it is used for
>> floatting point formatting, but is not needed with integers.
>
> It is needed for integers, because you need to make sure 1 millisecond
> is formatted as .001 and not .1.

ISTM that the "03" does that on its own:
 sh> printf "%03d\n" 0 1 2 000 001 002

-- 
Fabien.



pgsql-hackers by date:

Previous
From: Tomas Vondra
Date:
Subject: Re: PATCH: numeric timestamp in log_line_prefix
Next
From: Andres Freund
Date:
Subject: Re: PATCH: numeric timestamp in log_line_prefix