diff options
| author | Michael Paquier <michael@paquier.xyz> | 2022-10-25 09:29:54 +0900 |
|---|---|---|
| committer | Michael Paquier <michael@paquier.xyz> | 2022-10-25 09:29:54 +0900 |
| commit | f975df7203607c51f2f6284b54e7394a33f575ed (patch) | |
| tree | 28538e2f4b48de7733eeecd20a4ae689e3d3e6df | |
| parent | fb2a83b2b750a32ddfd107a75a3bc173f4f0a81f (diff) | |
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
| -rw-r--r-- | doc/src/sgml/config.sgml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml index 703f6d5a7f4..724c8323081 100644 --- a/doc/src/sgml/config.sgml +++ b/doc/src/sgml/config.sgml @@ -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> |