-
Committer:
Annamalai Gurusami
-
Date:
2012-05-16 11:06:49 UTC
-
mto:
(2502.1194.1 mysql-5.1.64-release)
-
mto:
This revision was merged to the branch mainline in
revision
3152.
-
Revision ID:
annamalai.gurusami@oracle.com-20120516110649-3ev64jhzxp05qpea
Bug #13943231: ALTER TABLE AFTER DISCARD MAY CRASH THE SERVER
The following scenario crashes our mysql server:
1. set global innodb_file_per_table=1;
2. create table t1(c1 int) engine=innodb;
3. alter table t1 discard tablespace;
4. alter table t1 add unique index(c1);
Step 4 crashes the server. This patch introduces a check on discarded
tablespace to avoid the crash.
rb://1041 approved by Marko Makela