Remove excess space from jsonpath .datetime() default format string
authorAlexander Korotkov <akorotkov@postgresql.org>
Tue, 29 Sep 2020 08:00:22 +0000 (11:00 +0300)
committerAlexander Korotkov <akorotkov@postgresql.org>
Tue, 29 Sep 2020 08:00:22 +0000 (11:00 +0300)
commitc2aa562ea5c2bf28c347503731434f08097cf1e5
treed0bbfb591c1994ce932136d1fec2f434dd67f436
parentfd26f78231830b20d8b5f8391f97d2ccebd492b7
Remove excess space from jsonpath .datetime() default format string

bffe1bd684 has introduced jsonpath .datetime() method, but default formats
for time and timestamp contain excess space between time and timezone.  This
commit removes this excess space making behavior of .datetime() method
standard-compliant.

Discussion: https://postgr.es/m/94321be0-cc96-1a81-b6df-796f437f7c66%40postgrespro.ru
Author: Nikita Glukhov
Backpatch-through: 13
src/backend/utils/adt/jsonpath_exec.c
src/test/regress/expected/jsonb_jsonpath.out
src/test/regress/sql/jsonb_jsonpath.sql