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