1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-29 05:21:33 +03:00

fix according to review

This commit is contained in:
unknown
2004-12-10 18:25:12 +03:00
parent c7d7c9ca10
commit 6bcee4f149
3 changed files with 37 additions and 14 deletions

View File

@ -1936,8 +1936,8 @@ static int dump_databases(char **db_names)
static int init_dumping(char *database)
{
if (mysql_get_server_version(sock) >= 50003 &&
!strcmp(database, "information_schema"))
return 1;
!my_strcasecmp(&my_charset_latin1, database, "information_schema"))
return 1;
if (mysql_select_db(sock, database))
{