diff options
| author | Michael Paquier <michael@paquier.xyz> | 2021-04-22 09:47:43 +0900 |
|---|---|---|
| committer | Michael Paquier <michael@paquier.xyz> | 2021-04-22 09:47:43 +0900 |
| commit | 1599e7b375127cac81b539d2c69d3faf7598509b (patch) | |
| tree | 00d56eac4c3b1405d12f55c3763e9167aeb85917 /contrib/postgres_fdw/postgres_fdw.c | |
| parent | 7c298c6573a0f181963ddcb40c850fa9c7da0ada (diff) | |
| download | postgresql-1599e7b375127cac81b539d2c69d3faf7598509b.tar.gz postgresql-1599e7b375127cac81b539d2c69d3faf7598509b.zip | |
doc: Move parallel_leader_participation to its correct category
parallel_leader_participation got introduced in e5253fd, where it was
listed under RESOURCES_ASYNCHRONOUS in guc.c, but the documentation
did not reflect that and listed it with the other planner-related
options. This commit fixes this inconsistency as the parameter is
intended to be an asynchronous one.
While on it, reorganize a bit the section dedicated to asynchronous
parameters, backend_flush_after being moved first to do better in terms
of alphabetical order of the options listed.
Reported-by: Yanliang Lei
Author: Bharath Rupireddy
Discussion: https://postgr.es/m/16972-42d4b0c15aa1d5f5@postgresql.org
Diffstat (limited to 'contrib/postgres_fdw/postgres_fdw.c')
0 files changed, 0 insertions, 0 deletions