PostgreSQL Bugs

Collected from the PG bugs email list.

Bug ID16169
PG Version12.0
OSDocumentation may need clarification.
Opened2019-12-17 09:51:38+00
Reported byFrancisco Olarte
StatusNew

Body of first available message related to this bug follows.

The following bug has been logged on the website:

Bug reference:      16169
Logged by:          Francisco Olarte
Email address:      (redacted)
PostgreSQL version: 12.0
Operating system:   Documentation may need clarification.
Description:        

Following a thread in the spanish mailing list I noticed the default time
output for 24:00 is 00:00. ( checked using
http://sqlfiddle.com/#!17/9eecb/43334 ).

The output correctly follows what the manual says (
https://www.postgresql.org/docs/12/datatype-datetime.html ). Although the
doc is correct, I have not been able to find any explicit mention of this
behaviour. An explicit mention may be useful to avoid confusion, as one
normally expects to be able to reconstruct inserted data from select results
( changing behaviour may hurt existing dependencies on current one ), and
2400 may be a common value when using time fields for things like "opening
hours 16:00 - 24:00".

Messages

DateAuthorSubject
2019-12-17 09:51:38+00PG Bug reporting formBUG #16169: Default time output for 24:00 is 00:00
2019-12-17 17:26:07+00Alvaro HerreraRe: BUG #16169: Default time output for 24:00 is 00:00
2019-12-17 17:49:35+00Tom LaneRe: BUG #16169: Default time output for 24:00 is 00:00
2019-12-17 17:56:55+00Tomas VondraRe: BUG #16169: Default time output for 24:00 is 00:00
2019-12-17 18:02:32+00Francisco OlarteRe: BUG #16169: Default time output for 24:00 is 00:00
2019-12-17 18:14:26+00Alvaro HerreraRe: BUG #16169: Default time output for 24:00 is 00:00
2019-12-17 18:18:00+00Tom LaneRe: BUG #16169: Default time output for 24:00 is 00:00
2019-12-17 18:29:21+00Francisco OlarteRe: BUG #16169: Default time output for 24:00 is 00:00
2019-12-17 21:05:57+00Tom LaneRe: BUG #16169: Default time output for 24:00 is 00:00