1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-01 03:47:19 +03:00

Merge of mysql-5.1-bugteam into mysql-5.5-bugteam.

This commit is contained in:
Davi Arnaut
2010-10-20 17:02:59 -02:00
16 changed files with 54 additions and 52 deletions

View File

@ -6068,7 +6068,7 @@ static int handle_grant_struct(uint struct_no, bool drop,
host= acl_proxy_user->get_host();
break;
default:
assert(0);
MY_ASSERT_UNREACHABLE();
}
if (! user)
user= "";