mirror of
https://github.com/MariaDB/server.git
synced 2025-01-19 13:32:33 +01:00
91223c4d25
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.
1 line
20 B
Text
1 line
20 B
Text
$EXAMPLE_PLUGIN_OPT
|