mirror of
https://github.com/postgres/postgres.git
synced 2025-11-13 16:22:44 +03:00
from the config file, so that these changes will propagate to backends started later. Already-started backends continue to ignore changes in these variables.