diff options
| author | Heikki Linnakangas | 2021-07-01 12:32:57 +0000 |
|---|---|---|
| committer | Heikki Linnakangas | 2021-07-01 12:32:57 +0000 |
| commit | c8bf5098cbc4f32ca724d830d45d5ceb2ad7f96d (patch) | |
| tree | ccd95069f1c161b23ef00d9838d3024f31315e9d /src/common/jsonapi.c | |
| 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 'src/common/jsonapi.c')
0 files changed, 0 insertions, 0 deletions