1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

merge fix for 38629 from 5.0

This commit is contained in:
Vladislav Vaintroub
2008-10-02 17:56:29 +02:00

View File

@ -3601,7 +3601,16 @@ sub run_testcase ($) {
{ {
mtr_timer_stop_all($glob_timers); mtr_timer_stop_all($glob_timers);
mtr_report("\nServers started, exiting"); 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);
}
} }
{ {