projects / postgresql.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ef673a3) | patch
Doc: fix ancient mistake in search_path documentation.
authorTom Lane
Thu, 20 Dec 2018 18:55:11 +0000 (13:55 -0500)
committerTom Lane
Thu, 20 Dec 2018 18:55:11 +0000 (13:55 -0500)
commit773e2d29cd63e2946d200dc5960a3ffb31910fe7
treeb9e7c395ab842921852489d27b55716bffee9118tree
parentef673a32d3d799ce7ed0585422dc3b4b67557d6acommit | 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 [email protected]

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