diff options
| -rwxr-xr-x | tests/runtests.pl | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tests/runtests.pl b/tests/runtests.pl index 2b74f6b47..d08e17714 100755 --- a/tests/runtests.pl +++ b/tests/runtests.pl @@ -632,9 +632,9 @@ sub stopserver { foreach my $server (@killservers) { if($run{$server}) { $pidlist .= "$run{$server} "; - $runcert{$server} = 0; $run{$server} = 0; } + $runcert{$server} = 0 if($runcert{$server}); } killpid($verbose, $pidlist); # @@ -2542,9 +2542,9 @@ sub singletest { foreach my $server (@killservers) { if($run{$server}) { $pidlist .= "$run{$server} "; - $runcert{$server} = 0; $run{$server} = 0; } + $runcert{$server} = 0 if($runcert{$server}); } killpid($verbose, $pidlist); # @@ -2920,9 +2920,9 @@ sub stopservers { } } $pidlist .= "$run{$server} "; - $runcert{$server} = 0; $run{$server} = 0; } + $runcert{$server} = 0 if($runcert{$server}); } killpid($verbose, $pidlist); # |