Re: [DOCS] [9.3] Should we mention "set_config(...)" in 18.1.3 in Server Configuration?

2014-05-21 Thread Tom Lane
David G Johnston writes: > Section 18.1.3 is named "18.1.3. Other Ways to Set Parameters" yet does not > reference the ability to use "set_config(...)" to make changes to > configuration parameters. Hm, yeah, seems like an oversight. Another thing I've never been terribly happy about is that pg_

[DOCS] [9.3] Should we mention "set_config(...)" in 18.1.3 in Server Configuration?

2014-05-21 Thread David G Johnston
Section 18.1.3 is named "18.1.3. Other Ways to Set Parameters" yet does not reference the ability to use "set_config(...)" to make changes to configuration parameters. Something like (as a final sentence): An alternative to the SQL "SET" command is to use the [link]set_config[link] function. Al