]> git.ipfire.org Git - thirdparty/postgresql.git/commitdiff
doc: Fix type of cursor_position in jsonlog table
authorMichael Paquier <michael@paquier.xyz>
Tue, 25 Oct 2022 00:29:54 +0000 (09:29 +0900)
committerMichael Paquier <michael@paquier.xyz>
Tue, 25 Oct 2022 00:29:54 +0000 (09:29 +0900)
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

doc/src/sgml/config.sgml

index 703f6d5a7f44b37aec253f6440413d2d99418086..724c83230810896f3888384ccbac6014bde07f25 100644 (file)
@@ -7794,7 +7794,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>