diff options
| author | Peter Eisentraut <peter_e@gmx.net> | 2014-09-14 10:50:04 -0400 |
|---|---|---|
| committer | Peter Eisentraut <peter_e@gmx.net> | 2014-09-14 10:50:04 -0400 |
| commit | 710524eb949832b60c457bd7116f3f2a071d9a2e (patch) | |
| tree | 4379ac8df380e745a331855222d7f3e8fc2933e7 /doc | |
| parent | 7ec3990944b9db39c2a1f44bf4e7929ee74c6491 (diff) | |
doc: Fix documentation of local_preload_libraries
The documentation used to suggest setting this parameter with ALTER ROLE
SET, but that never worked, so replace it with a working suggestion.
Reported-by: Kyotaro Horiguchi <horiguchi.kyotaro@lab.ntt.co.jp>
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/src/sgml/config.sgml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml index c7ef567e6c6..ebd2729aff2 100644 --- a/doc/src/sgml/config.sgml +++ b/doc/src/sgml/config.sgml @@ -5678,8 +5678,8 @@ dynamic_library_path = 'C:\tools\postgresql;H:\my_project\lib;$libdir' this feature is to allow debugging or performance-measurement libraries to be loaded into specific sessions without an explicit <command>LOAD</> command being given. For example, debugging could - be enabled for all sessions under a given user name by setting - this parameter with <command>ALTER ROLE SET</>. + be enabled for a session by setting this parameter via the + <envar>PGOPTIONS</envar> environment variable. </para> <para> |