1
0
mirror of https://github.com/MariaDB/server.git synced 2025-09-02 09:41:40 +03:00

Adding innodb_plugin-1.0.4 as storage/innodb_plugin.

This commit is contained in:
Satya B
2009-05-27 15:15:59 +05:30
parent 74a495cc81
commit 3945d5e554
375 changed files with 216180 additions and 0 deletions

View File

@@ -0,0 +1,14 @@
#
# Make sure http://bugs.mysql.com/41904 remains fixed.
#
-- source include/not_embedded.inc
-- source include/have_innodb.inc
CREATE TABLE bug41904 (id INT PRIMARY KEY, uniquecol CHAR(15)) ENGINE=InnoDB;
INSERT INTO bug41904 VALUES (1,NULL), (2,NULL);
CREATE UNIQUE INDEX ui ON bug41904 (uniquecol);
DROP TABLE bug41904;