| From: | Andrew Dunstan <andrew(at)dunslane(dot)net> |
|---|---|
| To: | Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> |
| Cc: | Robert Haas <robertmhaas(at)gmail(dot)com>, Stephen Frost <sfrost(at)snowman(dot)net>, Tomonari Katsumata <t(dot)katsumata1122(at)gmail(dot)com>, David G Johnston <david(dot)g(dot)johnston(at)gmail(dot)com>, "pgsql-hackers(at)postgresql(dot)org" <pgsql-hackers(at)postgresql(dot)org> |
| Subject: | Re: proposal: rounding up time value less than its unit. |
| Date: | 2014-09-23 15:23:40 |
| Message-ID: | 5421907C.60503@dunslane.net |
| Views: | Raw Message | Whole Thread | Download mbox | Resend email |
| Thread: | |
| Lists: | pgsql-hackers |
On 09/23/2014 10:29 AM, Tom Lane wrote:
> Robert Haas <robertmhaas(at)gmail(dot)com> writes:
>> Three people have voted for making it an *error* to supply a value
>> that needs to be rounded, instead of changing the rounding behavior.
> Votes or no votes, that's a horrible idea; it breaks the design goal
> that users shouldn't need to remember the precise unit size when making
> postgresql.conf entries.
>
> And I'm not sure what votes you're counting, anyway. People's opinions
> have changed as the discussion proceeded ...
>
>
I don't think I've weighed in on this, and yes, I'm very late to the
party. The "round away from zero" suggestion seemed the simplest and
most easily understood rule to me.
As Tom, I think, remarked, if that seems silly because 1 second gets
rounded up to 1 hour or whatever, then we've chosen the wrong units in
the first place.
cheers
andrew
| From | Date | Subject | |
|---|---|---|---|
| Next Message | Andres Freund | 2014-09-23 15:38:54 | Re: RLS feature has been committed |
| Previous Message | Dave Page | 2014-09-23 15:23:22 | Re: RLS feature has been committed |