mirror of
https://github.com/MariaDB/server.git
synced 2025-08-17 06:42:17 +03:00
22 lines
670 B
Plaintext
22 lines
670 B
Plaintext
# restart
|
|
#
|
|
# Bug#21801423 INNODB REDO LOG DOES NOT INDICATE WHEN
|
|
# FILES ARE CREATED
|
|
#
|
|
# Bug#21796691 INNODB REDO LOG DOES NOT INDICATE WHEN
|
|
# REDO LOGGING IS SKIPPED
|
|
#
|
|
CREATE TABLE t1 (a INT NOT NULL, b INT UNIQUE) ENGINE=InnoDB;
|
|
INSERT INTO t1 VALUES (1,2);
|
|
ALTER TABLE t1 ADD PRIMARY KEY(a), LOCK=SHARED, ALGORITHM=INPLACE;
|
|
ALTER TABLE t1 DROP INDEX b, ADD INDEX (b), LOCK=SHARED;
|
|
# Kill the server
|
|
# restart: --debug=d,ib_log
|
|
FOUND 2 /scan \d+: multi-log rec MLOG_FILE_CREATE2 len \d+ page \d+:0/ in mysqld.1.err
|
|
FOUND 3 /scan \d+: log rec MLOG_INDEX_LOAD/ in mysqld.1.err
|
|
CHECK TABLE t1;
|
|
Table Op Msg_type Msg_text
|
|
test.t1 check status OK
|
|
# restart
|
|
DROP TABLE t1;
|