projects / postgresql.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 216af5e) | patch
Doc: fix ancient mistake in search_path documentation.
authorTom Lane <tgl@sss.pgh.pa.us>
Thu, 20 Dec 2018 18:55:11 +0000 (13:55 -0500)
committerTom Lane <tgl@sss.pgh.pa.us>
Thu, 20 Dec 2018 18:55:11 +0000 (13:55 -0500)
commit42bdf853f664d0566c9e7af027635b48d66c0f71
tree7f8d37b00c94c179d72154e3ea357879a647d3d7tree
parent216af5eea5c8fdc9fca9d44da9eec33ac5e002d2commit | diff
Doc: fix ancient mistake in search_path documentation.

"$user" in a search_path string is replaced by CURRENT_USER not
SESSION_USER.  (It actually was SESSION_USER in the initial implementation,
but we changed it shortly later, and evidently forgot to fix the docs to
match.)

Noted by antonov@stdpr.ru

Discussion: https://postgr.es/m/159151fb45d490c8d31ea9707e9ba99d@stdpr.ru
doc/src/sgml/config.sgml diff | blob | blame | history
This is the main PostgreSQL git repository.