mirror of
https://github.com/MariaDB/server.git
synced 2025-01-20 05:52:27 +01:00
53eed773e3
added ignore-builtin-innodb option which disabled initialization of builtin InnoDB plugin
8 lines
248 B
Text
8 lines
248 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";
|
|
select ENGINE from information_schema.engines
|
|
where ENGINE = "InnoDB";
|