summaryrefslogtreecommitdiff
path: root/doc/src
diff options
context:
space:
mode:
authorTom Lane <tgl@sss.pgh.pa.us>2018-12-20 13:55:11 -0500
committerTom Lane <tgl@sss.pgh.pa.us>2018-12-20 13:55:11 -0500
commit164d439550dd4b29b8c0bf317779ac8d4b4c2d8f (patch)
tree09e9b53e1346d9e0bc06fab17a75a0ea00fd4abf /doc/src
parent9e6cd794c282499aa0d2d31166c023cda0682e67 (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
Diffstat (limited to 'doc/src')
-rw-r--r--doc/src/sgml/config.sgml2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml
index fa613397bc5..7c83b2c19c9 100644
--- a/doc/src/sgml/config.sgml
+++ b/doc/src/sgml/config.sgml
@@ -6186,7 +6186,7 @@ COPY postgres_log FROM '/full/path/to/logfile.csv' WITH csv;
<para>
If one of the list items is the special name
<literal>$user</literal>, then the schema having the name returned by
- <function>SESSION_USER</> is substituted, if there is such a schema
+ <function>CURRENT_USER</> is substituted, if there is such a schema
and the user has <literal>USAGE</> permission for it.
(If not, <literal>$user</literal> is ignored.)
</para>