mirror of
https://github.com/MariaDB/server.git
synced 2025-11-24 06:01:25 +03:00
"plugin name lost when loading an already-loaded name"
Do not delete existing plugin when loading a new plugin which has the
same name.
sql/sql_plugin.cc:
Bug#20615
Don't delete the plugin if it wasn't added.
28 KiB
28 KiB