Horton

Re: jsonlog cursor_position type is wrong.

Michael Paquier <michael@paquier.xyz>

View thread View on postgr.es
From: Michael Paquier <michael@paquier.xyz>
To: Tom Lane <tgl@sss.pgh.pa.us>
Cc: Tatsuo Ishii <ishii@sraoss.co.jp>, nuko.yokohama@gmail.com, pgsql-docs@lists.postgresql.org
Date: 2022-10-24T05:04:48Z
Lists: pgsql-docs 
On Mon, Oct 24, 2022 at 12:53:26AM -0400, Tom Lane wrote:
> Tatsuo Ishii <ishii@sraoss.co.jp> 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 floating
points.  See:
https://www.w3schools.com/js/js_json_datatypes.asp
--
Michael

Commits

  1. doc: Fix type of cursor_position in jsonlog table