diff options
| -rwxr-xr-x | tests/runtests.pl | 5 | 
1 files changed, 5 insertions, 0 deletions
| diff --git a/tests/runtests.pl b/tests/runtests.pl index db06ec53f..111f3e116 100755 --- a/tests/runtests.pl +++ b/tests/runtests.pl @@ -375,6 +375,11 @@ sub runhttpserver {      if ( $data =~ /WE ROOLZ: (\d+)/ ) {          $pid = 0+$1;      } +    elsif($res == 6) { +        # curl: (6) Couldn't resolve host '::1' +        print "RUN: failed to resolve host\n"; +        return -3; +    }      elsif($data || ($res != 7)) {          print "RUN: Unknown server is running on port $port\n";          return -2; | 
