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

Only use safe_kill if SAFE_WINPID is defined

This commit is contained in:
unknown
2008-03-14 19:15:01 +01:00
parent 17e0770d6e
commit 16afab61ff

View File

@ -313,7 +313,7 @@ sub start_kill {
my $ret= 1;
my $pid;
if (IS_WINDOWS)
if (IS_WINDOWS and defined $self->{SAFE_WINPID})
{
die "INTERNAL ERROR: no safe_kill" unless defined $safe_kill;
die "INTERNAL ERROR: no winpid" unless defined $self->{SAFE_WINPID};