From: Tom Lane <tgl@sss.pgh.pa.us>
To: antonov@stdpr.ru
cc: pgsql-docs@postgresql.org
Subject: Re: "$user" and SESSION_USER and CURRENT_USER
In-reply-to: <159151fb45d490c8d31ea9707e9ba99d@stdpr.ru>
References: <159151fb45d490c8d31ea9707e9ba99d@stdpr.ru>
Comments: In-reply-to antonov@stdpr.ru
	message dated "Thu, 20 Dec 2018 18:38:26 +0300"
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-ID: <9731.1545331352.1@sss.pgh.pa.us>
Date: Thu, 20 Dec 2018 13:42:32 -0500
Message-ID: <9732.1545331352@sss.pgh.pa.us>
Precedence: bulk

antonov@stdpr.ru writes:
> here -- https://www.postgresql.org/docs/11/runtime-config-client.html

> there is the text """If one of the list items is the special name $user, 
> then the schema having the name returned by SESSION_USER is substituted, 
> if there is such a schema and the user has USAGE permission for it. (If 
> not, $user is ignored.)""".

> but actualy "$user" substitutes CURRENT_USER-value (not 
> SESSION_USER-value).

Huh.  Digging in the commit history, SESSION_USER was the original
implementation (commit 838fe25a9 of 2002-04-01) but it was changed later
that month (ccfaf9067 of 2002-04-29) when we added schema permissions
checks.  Evidently I forgot to update the docs to match :-(

Will fix, thanks for noticing!

			regards, tom lane