1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

5.2 merge

This commit is contained in:
Sergei Golubchik
2014-03-16 12:44:47 +01:00

View File

@ -8,3 +8,6 @@ if (!$USER) {
skip USER variable is undefined;
}
if (`SELECT count(*) <> 0 FROM mysql.user WHERE user = '$USER'`) {
skip \$USER=$USER which exists in mysql.user;
}