mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2026-05-14 19:07:15 +02:00
Code Issues Projects Releases Packages Wiki Activity

merge fix for 38629 from 5.0

Browse source
This commit is contained in:
Vladislav Vaintroub 2008-10-02 17:56:29 +02:00
commit e7b5c1e750
1 changed files with 10 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

11
mysql-test/mysql-test-run.pl
View file

@ -3601,7 +3601,16 @@ sub run_testcase ($) {
{
mtr_timer_stop_all($glob_timers);
mtr_report("\nServers started, exiting");
exit(0);
if ($glob_win32_perl)
{
#ActiveState perl hangs when using normal exit, use POSIX::_exit instead
use POSIX qw[ _exit ];
POSIX::_exit(0);
}
else
{
exit(0);
}
}
{