mirror of
https://github.com/MariaDB/server.git
synced 2025-01-26 00:34:18 +01:00
34 lines
805 B
Text
34 lines
805 B
Text
install plugin innodb soname 'ha_innodb';
|
|
create table t1(a int not null primary key) engine=innodb;
|
|
connect con1, localhost, root;
|
|
connection con1;
|
|
begin;
|
|
insert into t1 values(1);
|
|
connection default;
|
|
flush tables;
|
|
uninstall plugin innodb;
|
|
connection con1;
|
|
select sleep(1);
|
|
sleep(1)
|
|
0
|
|
disconnect con1;
|
|
connection default;
|
|
Warnings:
|
|
Warning 1620 Plugin is busy and will be uninstalled on shutdown
|
|
connect con1, localhost, root;
|
|
connection con1;
|
|
install plugin innodb soname 'ha_innodb';
|
|
drop table t1;
|
|
create table t2(a int not null primary key) engine=innodb;
|
|
insert into t2 values(1);
|
|
drop table t2;
|
|
connection default;
|
|
uninstall plugin innodb;
|
|
connection con1;
|
|
select sleep(1);
|
|
sleep(1)
|
|
0
|
|
disconnect con1;
|
|
connection default;
|
|
Warnings:
|
|
Warning 1620 Plugin is busy and will be uninstalled on shutdown
|