File: innodb_uninstall.result

package info (click to toggle)
mariadb-10.0 10.0.25-0%2Bdeb8u1
  • links: PTS, VCS
  • area: main
  • in suites: jessie
  • size: 466,160 kB
  • ctags: 182,424
  • sloc: cpp: 1,376,579; ansic: 826,548; perl: 59,653; sh: 36,635; pascal: 32,260; yacc: 14,915; xml: 5,210; sql: 4,660; cs: 4,647; makefile: 4,555; ruby: 4,465; python: 2,282; lex: 1,427; asm: 295; awk: 54; php: 22; sed: 16
file content (22 lines) | stat: -rw-r--r-- 559 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
install plugin innodb soname 'ha_innodb';
create table t1(a int not null primary key) engine=innodb;
begin;
insert into t1 values(1);
flush tables;
uninstall plugin innodb;
select sleep(1);
sleep(1)
0
Warnings:
Warning	1620	Plugin is busy and will be uninstalled on shutdown
drop table t1;
install plugin innodb soname 'ha_innodb';
create table t2(a int not null primary key) engine=innodb;
insert into t2 values(1);
drop table t2;
uninstall plugin innodb;
select sleep(1);
sleep(1)
0
Warnings:
Warning	1620	Plugin is busy and will be uninstalled on shutdown