mirror of
https://github.com/MariaDB/server.git
synced 2025-11-09 11:41:36 +03:00
Merge branch '11.4' into bb-11.8-release
This commit is contained in:
@@ -1668,6 +1668,8 @@ int plugin_init(int *argc, char **argv, int flags)
|
||||
tmp.name= tmp_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