Re: jsonlog cursor_position type is wrong.

2022-10-23 Thread Michael Paquier
On Mon, Oct 24, 2022 at 12:53:26AM -0400, Tom Lane wrote: > Tatsuo Ishii writes: >> Yeah, that's a typo. Patch attached. Thanks, that's wrong :/ > Shouldn't it be "integer"? When it comes down to the data types of a JSON object, these are referred as "number", as these can be either integers or

Re: jsonlog cursor_position type is wrong.

2022-10-23 Thread Tom Lane
Tatsuo Ishii writes: >> PostgreSQL document In "Table 20.3. Keys and Values of JSON Log Entries", >> "Type" in cursor_position should be "number", not "Sting". >> https://www.postgresql.org/docs/current/runtime-config-logging.html#RUNTIME-CONFIG-LOGGING-JSONLOG-KEYS-VALUES > Yeah, that's a typo.

Re: jsonlog cursor_position type is wrong.

2022-10-23 Thread Tatsuo Ishii
> Hi. > > PostgreSQL document In "Table 20.3. Keys and Values of JSON Log Entries", > "Type" in cursor_position should be "number", not "Sting". > https://www.postgresql.org/docs/current/runtime-config-logging.html#RUNTIME-CONFIG-LOGGING-JSONLOG-KEYS-VALUES Yeah, that's a typo. Patch attached. B

jsonlog cursor_position type is wrong.

2022-10-23 Thread nuko yokohama
Hi. PostgreSQL document In "Table 20.3. Keys and Values of JSON Log Entries", "Type" in cursor_position should be "number", not "Sting". https://www.postgresql.org/docs/current/runtime-config-logging.html#RUNTIME-CONFIG-LOGGING-JSONLOG-KEYS-VALUES