diff options
-rwxr-xr-x | tests/runtests.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/runtests.pl b/tests/runtests.pl index ad288de37..c2f561b43 100755 --- a/tests/runtests.pl +++ b/tests/runtests.pl @@ -258,7 +258,7 @@ sub startnew { die "error: exec() has returned !!!"; } - my $count=5; + my $count=12; while($count--) { if(-f $pidfile) { open(PID, "<$pidfile"); |