3 Commits

Author	SHA1	Message	Date
Davi Arnaut	0e9451186d	Post-merge fix: replace plugin extension output.	2010-03-14 08:16:59 -03:00
Davi Arnaut	d9f1abe995	Post-merge fix: remove unnecessary flush privileges.	2010-03-13 18:32:42 -03:00
Davi Arnaut	91223c4d25	Bug#51770: UNINSTALL PLUGIN requires no privileges ... The problem was that UNINSTALL PLUGIN wasn't performing privilege checks before removing a plugin. Any user (including users without any kind of privileges) could uninstall any plugin. The solution is to verify if the user has the DELETE privilege for the mysql.plugin table before uninstalling a plugin.	2010-03-09 09:16:17 -03:00