mirror of
https://github.com/MariaDB/server.git
synced 2025-11-13 21:42:58 +03:00
use get_current_user() to distinguish user name without a hostname and a role name. move privilege checks inside mysql_show_grants() to remove duplicate get_current_user() calls
524 B
524 B