aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xtests/runtests.pl4
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});