1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-05 13:16:09 +03:00

compare public_name by pointer

print PUBLIC not quoted in SHOW GRANTS, PUBLIC is not a role
This commit is contained in:
Sergei Golubchik
2022-09-24 22:38:12 +02:00
parent 0b519a4075
commit 00c56e1c7c
6 changed files with 107 additions and 90 deletions

View File

@@ -58,6 +58,8 @@ extern LEX_CSTRING host_not_specified;
extern LEX_CSTRING current_user;
extern LEX_CSTRING current_role;
extern LEX_CSTRING current_user_and_current_role;
extern LEX_CSTRING none;
extern LEX_CSTRING public_name;
static inline int access_denied_error_code(int passwd_used)