diff options
Diffstat (limited to 'tests/runtests.pl')
| -rwxr-xr-x | tests/runtests.pl | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/tests/runtests.pl b/tests/runtests.pl index 395ce86c4..039aa11bb 100755 --- a/tests/runtests.pl +++ b/tests/runtests.pl @@ -726,8 +726,7 @@ sub runhttpserver { if($httppid <= 0 || !kill(0, $httppid)) { # it is NOT alive - logmsg "RUN: failed to start the HTTP server\n"; - stopservers($verbose); + logmsg "RUN: failed to start the HTTP$nameext server\n"; return (0,0); } |