diff options
| author | Tom Lane | 2018-12-20 18:55:11 +0000 |
|---|---|---|
| committer | Tom Lane | 2018-12-20 18:55:11 +0000 |
| commit | e13d8a783d25691a63370c4b03acb7254934a041 (patch) | |
| tree | 7ed08c9d61ce18d2f26224db225a0402472f6f7b /doc/src | |
| parent | 5668afeb6d25ef842ff14239c5ba3aa20cf56937 (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.sgml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml index d4ef8869f15..0c3ccb2b091 100644 --- a/doc/src/sgml/config.sgml +++ b/doc/src/sgml/config.sgml @@ -5946,7 +5946,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> |