mirror of
https://github.com/MariaDB/server.git
synced 2025-08-05 13:16:09 +03:00
f3687ccaaf
my_getopt compares option names case-sensitively, causing "Unknown option" errors when users type mixed-case options like wsrep_slave_UK_checks in lowercase wsrep_slave_fk_checks. Made the comparison in the getopt_compare_strings() case-insensitive.
12 lines
330 B
Plaintext
12 lines
330 B
Plaintext
--source include/have_innodb.inc
|
|
--source include/have_wsrep_provider.inc
|
|
--source include/have_binlog_format_row.inc
|
|
--echo #
|
|
--echo # MDEV-27126: my_getopt compares option names case sensitively
|
|
--echo #
|
|
|
|
--echo # Check if the variable is set correctly from options
|
|
SELECT @@GLOBAL.wsrep_slave_uk_checks;
|
|
|
|
--echo # End of test.
|