mirror of
https://github.com/MariaDB/server.git
synced 2025-07-29 05:21:33 +03:00
Merge pilot.blaudden:/home/msvensson/mysql/mysql-5.0-maint
into pilot.blaudden:/home/msvensson/mysql/mysql-5.1-maint Makefile.am: Auto merged client/mysql_upgrade.c: Auto merged mysql-test/lib/mtr_process.pl: Auto merged mysql-test/r/mysql.result: Auto merged mysql-test/t/mysql.test: Auto merged sql/mysql_priv.h: Auto merged tests/mysql_client_test.c: Auto merged
This commit is contained in:
@ -1099,6 +1099,13 @@ sub mtr_kill_processes ($) {
|
||||
|
||||
foreach my $pid (@$pids)
|
||||
{
|
||||
|
||||
if ($pid <= 0)
|
||||
{
|
||||
mtr_warning("Trying to kill illegal pid: $pid");
|
||||
next;
|
||||
}
|
||||
|
||||
foreach my $sig (15, 9)
|
||||
{
|
||||
last if mtr_im_kill_process([ $pid ], $sig, 10, 1);
|
||||
|
Reference in New Issue
Block a user