diff --git a/tests/BuiltInServer.php b/tests/BuiltInServer.php index 31e309760bb13a04030672fe9361c0c71022478a..338e2d92e06df35efbd0e802030e1558dca0eace 100644 --- a/tests/BuiltInServer.php +++ b/tests/BuiltInServer.php @@ -206,8 +206,14 @@ class BuiltInServer CURLOPT_HEADER => 1, ]); curl_setopt_array($ch, $curlopts); - /** @var mixed $resp */ + + /** @psalm-var array|false $resp RETURNTRANSFER was set to true */ $resp = curl_exec($ch); + + if ($resp === false) { + throw new \Exception("Unable to contact: " . $url); + } + $code = curl_getinfo($ch, CURLINFO_HTTP_CODE); list($header, $body) = explode("\r\n\r\n", $resp, 2); $raw_headers = explode("\r\n", $header);