mirror of
https://github.com/MariaDB/server.git
synced 2025-01-16 12:02:42 +01:00
349ca2be74
dead code for about 10 years
16 lines
1.1 KiB
Text
16 lines
1.1 KiB
Text
--- ./suite/innodb/r/restart.result 2022-01-18 20:36:56.054653376 +1100
|
|
+++ suite/innodb/r/restart.reject 2022-01-19 08:07:57.402230887 +1100
|
|
@@ -32,10 +32,10 @@
|
|
SELECT @@innodb_buffer_pool_size INTO @innodb_buffer_pool_size_orig;
|
|
SELECT CEILING((256 + 64) * @@innodb_page_size / 1048576) * 1048576 INTO @min_pool_size;
|
|
EXECUTE IMMEDIATE 'SET GLOBAL innodb_buffer_pool_size = ?' USING (@min_pool_size -1);
|
|
-ERROR 42000: Variable 'innodb_buffer_pool_size' can't be set to the value of 'WRONG_VALUE'
|
|
+ERROR 42000: Variable 'innodb_buffer_pool_size' can't be set to the value of '10485759'
|
|
SHOW WARNINGS;
|
|
Level Code Message
|
|
-Warning 1210 innodb_buffer_pool_size must be at least MIN_VAL for innodb_page_size=PAGE_SIZE
|
|
-Error 1231 Variable 'innodb_buffer_pool_size' can't be set to the value of 'WRONG_VALUE'
|
|
+Warning 1210 innodb_buffer_pool_size must be at least 10485760 for innodb_page_size=32768
|
|
+Error 1231 Variable 'innodb_buffer_pool_size' can't be set to the value of '10485759'
|
|
EXECUTE IMMEDIATE 'SET GLOBAL innodb_buffer_pool_size = ?' USING (@min_pool_size);
|
|
SET GLOBAL innodb_buffer_pool_size = @innodb_buffer_pool_size_orig;
|