mirror of
https://github.com/MariaDB/server.git
synced 2025-07-30 16:24:05 +03:00
bzr merge -rtag:mariadb-10.0.14 maria/10.0/
This commit is contained in:
@ -5757,7 +5757,7 @@ sub get_extra_opts {
|
||||
sub stop_servers($$) {
|
||||
my (@servers)= @_;
|
||||
|
||||
mtr_report("Restarting ", started(@servers));
|
||||
mtr_report("Stopping ", started(@servers));
|
||||
|
||||
My::SafeProcess::shutdown($opt_shutdown_timeout,
|
||||
started(@servers));
|
||||
|
Reference in New Issue
Block a user