diff options
| author | Heikki Linnakangas <heikki.linnakangas@iki.fi> | 2021-07-01 15:32:57 +0300 |
|---|---|---|
| committer | Heikki Linnakangas <heikki.linnakangas@iki.fi> | 2021-07-01 15:32:57 +0300 |
| commit | c8bf5098cbc4f32ca724d830d45d5ceb2ad7f96d (patch) | |
| tree | ccd95069f1c161b23ef00d9838d3024f31315e9d /doc/src | |
| parent | 71ba45a3602da0bdbb518e16e3990cfcf21e5f73 (diff) | |
Allow specifying pg_waldump --rmgr option multiple times.
Before, if you specified multiple --rmgr options, only the last one took
effect. It seems more sensible to select all the specified resource
managers.
Reviewed-By: Daniel Gustafsson, Julien Rouhaud
Discussion: https://www.postgresql.org/message-id/98344bc2-e222-02ad-a75b-81ffc614c155%40iki.fi
Diffstat (limited to 'doc/src')
| -rw-r--r-- | doc/src/sgml/ref/pg_waldump.sgml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/src/sgml/ref/pg_waldump.sgml b/doc/src/sgml/ref/pg_waldump.sgml index 5fcdfe210ac..432254d2d5d 100644 --- a/doc/src/sgml/ref/pg_waldump.sgml +++ b/doc/src/sgml/ref/pg_waldump.sgml @@ -142,7 +142,8 @@ PostgreSQL documentation <term><option>--rmgr=<replaceable>rmgr</replaceable></option></term> <listitem> <para> - Only display records generated by the specified resource manager. + Only display records generated by the specified resource manager. You can + specify the option multiple times to select multiple resource managers. If <literal>list</literal> is passed as name, print a list of valid resource manager names, and exit. </para> |