mirror of
https://github.com/MariaDB/server.git
synced 2025-01-20 05:52:27 +01:00
31 lines
878 B
Text
31 lines
878 B
Text
--source include/have_innodb.inc
|
|
# Embedded server does not support restarting
|
|
--source include/not_embedded.inc
|
|
--source include/have_debug.inc
|
|
|
|
--echo #
|
|
--echo # Bug#19685095 DO NOT CARE ABOUT UNRESOLVED MLOG_FILE_NAME
|
|
--echo # IF THERE ARE NO OPERATIONS TO APPLY
|
|
--echo #
|
|
|
|
SET GLOBAL DEBUG_DBUG='+d,fil_names_write_bogus';
|
|
--disable_query_log
|
|
FLUSH TABLES;
|
|
--enable_query_log
|
|
|
|
--source include/no_checkpoint_start.inc
|
|
|
|
CREATE TABLE t1(a INT PRIMARY KEY) ENGINE=InnoDB;
|
|
|
|
--let CLEANUP_IF_CHECKPOINT=DROP TABLE t1;
|
|
--source include/no_checkpoint_end.inc
|
|
|
|
--source include/start_mysqld.inc
|
|
|
|
DROP TABLE t1;
|
|
|
|
--let SEARCH_FILE = $MYSQLTEST_VARDIR/log/mysqld.1.err
|
|
--let SEARCH_PATTERN = InnoDB: Tablespace 4294967280 was not found at .*, but there were no modifications either
|
|
--let SEARCH_ABORT = NOT FOUND
|
|
--let SEARCH_RANGE = -50000
|
|
--source include/search_pattern_in_file.inc
|