mirror of
https://github.com/MariaDB/server.git
synced 2026-01-06 05:22:24 +03:00
mandatory plugins cannot be less mature than the server
This commit is contained in:
@@ -1680,6 +1680,8 @@ int plugin_init(int *argc, char **argv, int flags)
|
||||
tmp.name.length= strlen(plugin->name);
|
||||
tmp.state= 0;
|
||||
tmp.load_option= mandatory ? PLUGIN_FORCE : PLUGIN_ON;
|
||||
DBUG_ASSERT(!mandatory ||
|
||||
plugin_maturity_map[plugin->maturity] >= SERVER_MATURITY_LEVEL);
|
||||
|
||||
for (i=0; i < array_elements(override_plugin_load_policy); i++)
|
||||
{
|
||||
|
||||
Reference in New Issue
Block a user