database/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-07-27 18:02:13 +03:00
Code Activity

Merge pull request #880 from tempesta-tech/sysprg/MDEV-17421

Browse Source 
MDEV-17421: mtr does not restart the server whose parameters were changed
This commit is contained in:
Jan Lindström
2019-01-23 18:03:51 +02:00
committed by GitHub
parent 3b6d2efcb1 1eb364f8b3
commit 2d098933ee
11 changed files with 113 additions and 23 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
mysql-test/mysql-test-run.pl
View File

@ -5285,6 +5285,7 @@ sub server_need_restart {
exists $server->{'restart_opts'})
{
my $use_dynamic_option_switch= 0;
delete $server->{'restart_opts'};
if (!$use_dynamic_option_switch)
{
mtr_verbose_restart($server, "running with different options '" .