1
0
mirror of https://github.com/MariaDB/server.git synced 2025-12-24 11:21:21 +03:00

Post-merge fix: remove unnecessary flush privileges.

This commit is contained in:
Davi Arnaut
2010-03-13 18:32:42 -03:00
parent 91223c4d25
commit d9f1abe995
2 changed files with 0 additions and 2 deletions

View File

@@ -6,6 +6,5 @@ INSTALL PLUGIN example SONAME 'ha_example.so';
UNINSTALL PLUGIN example;
ERROR 42000: DELETE command denied to user 'bug51770'@'localhost' for table 'plugin'
GRANT DELETE ON mysql.plugin TO bug51770@localhost;
FLUSH PRIVILEGES;
UNINSTALL PLUGIN example;
DROP USER bug51770@localhost;