1SET @orig = @@global.innodb_buffer_pool_dump_at_shutdown;
2SELECT @orig;
3@orig
41
5SET GLOBAL innodb_buffer_pool_dump_at_shutdown = OFF;
6SELECT @@global.innodb_buffer_pool_dump_at_shutdown;
7@@global.innodb_buffer_pool_dump_at_shutdown
80
9SET GLOBAL innodb_buffer_pool_dump_at_shutdown = ON;
10SELECT @@global.innodb_buffer_pool_dump_at_shutdown;
11@@global.innodb_buffer_pool_dump_at_shutdown
121
13SET GLOBAL innodb_buffer_pool_dump_at_shutdown = 12.34;
14Got one of the listed errors
15SET GLOBAL innodb_buffer_pool_dump_at_shutdown = "string";
16Got one of the listed errors
17SET GLOBAL innodb_buffer_pool_dump_at_shutdown = 5;
18Got one of the listed errors
19SET GLOBAL innodb_buffer_pool_dump_at_shutdown = default;
20