mirror of
https://github.com/MariaDB/server.git
synced 2026-04-27 10:45:30 +02:00
Bug#20615
"plugin name lost when loading an already-loaded name" Do not delete existing plugin when loading a new plugin which has the same name.
This commit is contained in:
parent
6414330377
commit
5f14652ef5
1 changed files with 1 additions and 1 deletions
|
|
@ -864,8 +864,8 @@ my_bool mysql_install_plugin(THD *thd, const LEX_STRING *name, const LEX_STRING
|
|||
DBUG_RETURN(FALSE);
|
||||
deinit:
|
||||
plugin_deinitialize(tmp);
|
||||
err:
|
||||
plugin_del(tmp);
|
||||
err:
|
||||
rw_unlock(&THR_LOCK_plugin);
|
||||
DBUG_RETURN(TRUE);
|
||||
}
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue