git.postgresql.org Git - postgresql.git/commitdiff

diff --git a/src/backend/tcop/utility.c b/src/backend/tcop/utility.c

index 866b294318a9b98ae27fbf2cc137f11c8e623a72..e3ccf6c7f7e8b03718d395b5fc97b29420452412 100644 (file)

--- a/src/backend/tcop/utility.c

+++ b/src/backend/tcop/utility.c

if (!has_privs_of_role(GetUserId(), ROLE_PG_CHECKPOINT))

ereport(ERROR,

(errcode(ERRCODE_INSUFFICIENT_PRIVILEGE),

- /* translator: %s is name of a SQL command, eg CHECKPOINT */

+ /* translator: %s is name of a SQL command, eg CHECKPOINT */

errmsg("permission denied to execute %s command",

"CHECKPOINT"),

errdetail("Only roles with privileges of the \"%s\" role may execute this command.",