mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-01-31 11:01:52 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

MDEV-726 - CREATE and ALTER SERVER need to lowercase host name

Browse source
This commit is contained in:
Hartmut Holzgraefe 2016-10-08 15:57:12 +02:00
parent 4c45b820aa
commit 3234fafebf
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
sql/sql_yacc.yy
View file

@ -2665,6 +2665,7 @@ server_option:
{
MYSQL_YYABORT_UNLESS(Lex->server_options.host.str == 0);
Lex->server_options.host= $2;
my_casedn_str(system_charset_info, Lex->server_options.host.str);
}
| DATABASE TEXT_STRING_sys
{