mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2026-05-15 19:37:16 +02:00
Code Issues Projects Releases Packages Wiki Activity

Post-merge fix: remove unnecessary flush privileges.

Browse source
This commit is contained in:
Davi Arnaut 2010-03-13 18:32:42 -03:00
commit 4c205a65fb
2 changed files with 0 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

1
mysql-test/r/plugin_not_embedded.result
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;