diff options
-rwxr-xr-x | tests/runtests.pl | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tests/runtests.pl b/tests/runtests.pl index d931b15b4..806ee986d 100755 --- a/tests/runtests.pl +++ b/tests/runtests.pl @@ -651,7 +651,9 @@ sub stopserver { # foreach my $server (@killservers) { if($run{$server}) { - $pidlist .= "$run{$server} "; + # we must prepend a space since $pidlist may already contain + # a pid + $pidlist .= " $run{$server}"; $run{$server} = 0; } $runcert{$server} = 0 if($runcert{$server}); |