diff options
author | Peter Eisentraut <peter_e@gmx.net> | 2014-12-22 23:05:46 -0500 |
---|---|---|
committer | Peter Eisentraut <peter_e@gmx.net> | 2014-12-22 23:05:46 -0500 |
commit | 584e35d17c00b69d598522d3cf321fbd9b7dbd03 (patch) | |
tree | f1d1c2aac00be7186e6d87d2aa87c5b24a9f6f5d /src/backend/commands/variable.c | |
parent | 2a3f2743f200dbcdd412a00ff69f30d3e34b662b (diff) | |
download | postgresql-584e35d17c00b69d598522d3cf321fbd9b7dbd03.tar.gz postgresql-584e35d17c00b69d598522d3cf321fbd9b7dbd03.zip |
Change local_preload_libraries to PGC_USERSET
This allows it to be used with ALTER ROLE SET.
Although the old setting of PGC_BACKEND prevented changes after session
start, after discussion it was more useful to allow ALTER ROLE SET
instead and just document that changes during a session have no effect.
This is similar to how session_preload_libraries works already.
An alternative would be to change things to allow PGC_BACKEND and
PGC_SU_BACKEND settings to be changed by ALTER ROLE SET. But that might
need further research (e.g., log_connections would probably not work).
based on patch by Kyotaro Horiguchi
Diffstat (limited to 'src/backend/commands/variable.c')
0 files changed, 0 insertions, 0 deletions