mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-01-18 04:53:01 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

A post-merge fix.

Browse source
This commit is contained in:
unknown 2006-11-30 02:42:01 +03:00
parent 126375b16a
commit 0717e6c3c6
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
mysql-test/lib/mtr_process.pl
View file

@ -937,6 +937,12 @@ sub check_expected_crash_and_restart($)
} }
} }
} }
if ($::instance_manager->{'spawner_pid'} eq $ret_pid)
{
return;
}
mtr_warning("check_expected_crash_and_restart couldn't find an entry for pid: $ret_pid"); mtr_warning("check_expected_crash_and_restart couldn't find an entry for pid: $ret_pid");
} }