Re: PATCH: numeric timestamp in log_line_prefix

From: Fabien COELHO <coelho(at)cri(dot)ensmp(dot)fr>
To: Tomas Vondra <tomas(dot)vondra(at)2ndquadrant(dot)com>
Cc: PostgreSQL Developers <pgsql-hackers(at)postgresql(dot)org>
Subject: Re: PATCH: numeric timestamp in log_line_prefix
Date: 2015-03-22 18:45:27
Message-ID: alpine.DEB.2.10.1503221941440.14445@sto
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: 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.

In response to

Responses

Browse pgsql-hackers by date

  From Date Subject
Next Message Andres Freund 2015-03-22 18:47:08 Re: PATCH: numeric timestamp in log_line_prefix
Previous Message Tomas Vondra 2015-03-22 18:42:49 Re: PATCH: numeric timestamp in log_line_prefix