database/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-12-24 11:21:21 +03:00
Code Activity

MDEV-12266: Cleanup DISCARD TABLESPACE

Browse Source 
fil_discard_tablespace(): Merge to row_discard_tablespace()
which was the only caller.
This commit is contained in:
Marko Mäkelä
2018-03-26 15:47:54 +03:00
parent f8d1bd011d
commit e2bf76cb32
4 changed files with 33 additions and 105 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
mysql-test/suite/innodb/t/alter_missing_tablespace.test
View File

@@ -17,6 +17,7 @@ call mtr.add_suppression("Could not find a valid tablespace file for");
call mtr.add_suppression("InnoDB: Failed to find tablespace for table `test`\.`\(t\|x\.\.d\)` in the cache");
call mtr.add_suppression("InnoDB: Cannot delete tablespace [0-9]+.*not found");
call mtr.add_suppression("Table .* in the InnoDB data dictionary has tablespace id .*, but tablespace with that id or name does not exist");
call mtr.add_suppression("InnoDB: ALTER TABLE `test`.`t` DISCARD TABLESPACE failed to find tablespace");
--enable_query_log
let $MYSQLD_DATADIR=`select @@datadir`;