mirror of
https://github.com/MariaDB/server.git
synced 2025-10-31 02:46:29 +01:00
6dad23f04a
Merge https://github.com/kakao/mariadb-10.0 that contains Facebook's implementation for defragmentation facebook/mysql-5.6@a2d3a74 facebook/mysql-5.6@def96c8 facebook/mysql-5.6@9c67c5d facebook/mysql-5.6@921a81b facebook/mysql-5.6@aa519bd facebook/mysql-5.6@fea7d13 facebook/mysql-5.6@09b29d3 facebook/mysql-5.6@9284abb facebook/mysql-5.6@dbd623d facebook/mysql-5.6@aed55dc facebook/mysql-5.6@aad5c82 This version does not add new SQL-syntax and new handler API function. Instead optimize table is mapped to defragment table if innodb_defragment=ON, by default the feature is off. Contains changes authored by Sunguck Lee (Kakao).
20 lines
435 B
Text
20 lines
435 B
Text
-- source include/have_innodb.inc
|
|
|
|
# Check the default value
|
|
SET @orig = @@global.innodb_defragment;
|
|
SELECT @orig;
|
|
|
|
# Turn off
|
|
SET GLOBAL innodb_defragment = OFF;
|
|
SELECT @@global.innodb_defragment;
|
|
|
|
# Turn on
|
|
SET GLOBAL innodb_defragment = ON;
|
|
SELECT @@global.innodb_defragment;
|
|
|
|
# Wrong value
|
|
--error ER_WRONG_VALUE_FOR_VAR
|
|
SET GLOBAL innodb_defragment = 100;
|
|
SELECT @@global.innodb_defragment;
|
|
|
|
SET GLOBAL innodb_defragment = @orig;
|