From: Michael Paquier <michael@paquier.xyz>
Date: Tue, 25 Oct 2022 00:29:21 +0000 (+0900)
Subject: doc: Fix type of cursor_position in jsonlog table
X-Git-Tag: REL_16_BETA1~1429
X-Git-Url: http://git.postgresql.org/gitweb/?a=commitdiff_plain;h=f186c7c88522c2c25b31566b4a5e00749ca7820c;p=postgresql.git

doc: Fix type of cursor_position in jsonlog table

This entry was listed as a "string", but it is a "number.  The other
fields are correctly described, on a second look.

Reported-by: Nuko Yokohama
Author: Tatsuo Ishii
Discussion: https://postgr.es/m/CAF3Gu1awoVoDP5d0_eN=cR=QkGVwH+OtFvwJkkc5cB_ZMWjyeA@mail.gmail.com
Backpatch-through: 15
---

diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml
index 6c649336e16..559eb898a9a 100644
--- a/doc/src/sgml/config.sgml
+++ b/doc/src/sgml/config.sgml
@@ -7801,7 +7801,7 @@ COPY postgres_log FROM '/full/path/to/logfile.csv' WITH csv;
         </row>
         <row>
          <entry><literal>cursor_position</literal></entry>
-         <entry>string</entry>
+         <entry>number</entry>
          <entry>Cursor index into query string</entry>
         </row>
         <row>