1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
--echo #
--echo # Basic test for innodb_saved_page_number_debug.
--echo #
--source include/have_innodb.inc
# The config variable is a debug variable
-- source include/have_debug.inc
SELECT @@global.innodb_saved_page_number_debug;
set global innodb_saved_page_number_debug = 10;
SELECT @@global.innodb_saved_page_number_debug;
set global innodb_saved_page_number_debug = 100;
--error ER_WRONG_TYPE_FOR_VAR
set global innodb_saved_page_number_debug = dummy;
--error ER_GLOBAL_VARIABLE
set innodb_saved_page_number_debug = ON;
--echo # An example usage.
create table t1 (f1 int primary key) engine = innodb;
select space from information_schema.innodb_sys_tables
where name = 'test/t1' into @space_id;
set global innodb_saved_page_number_debug = 0;
set global innodb_fil_make_page_dirty_debug = @space_id;
drop table t1;
set global innodb_saved_page_number_debug = 0;
SELECT @@global.innodb_saved_page_number_debug;
|
