]> granicus.if.org Git - postgresql/commit
Change local_preload_libraries to PGC_USERSET
authorPeter Eisentraut <peter_e@gmx.net>
Tue, 23 Dec 2014 04:05:46 +0000 (23:05 -0500)
committerPeter Eisentraut <peter_e@gmx.net>
Tue, 23 Dec 2014 04:05:46 +0000 (23:05 -0500)
commit584e35d17c00b69d598522d3cf321fbd9b7dbd03
treef1d1c2aac00be7186e6d87d2aa87c5b24a9f6f5d
parent2a3f2743f200dbcdd412a00ff69f30d3e34b662b
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
doc/src/sgml/config.sgml
src/backend/utils/misc/guc.c