mirror of
https://github.com/MariaDB/server.git
synced 2025-10-31 02:46:29 +01:00
6 lines
204 B
Text
6 lines
204 B
Text
#
|
|
# Bug #42610: Dynamic plugin broken in 5.1.31
|
|
#
|
|
show variables like 'ignore_builtin_innodb';
|
|
select PLUGIN_NAME from information_schema.plugins
|
|
where PLUGIN_NAME = "InnoDb" and PLUGIN_LIBRARY IS NULL;
|