Fix pgindent
authorPeter Eisentraut <[email protected]>
Mon, 10 Jul 2023 10:05:32 +0000 (12:05 +0200)
committerPeter Eisentraut <[email protected]>
Mon, 10 Jul 2023 10:05:32 +0000 (12:05 +0200)
for commit e53a611523

src/backend/tcop/utility.c

index 866b294318a9b98ae27fbf2cc137f11c8e623a72..e3ccf6c7f7e8b03718d395b5fc97b29420452412 100644 (file)
@@ -950,7 +950,7 @@ standard_ProcessUtility(PlannedStmt *pstmt,
                        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.",