Merge pull request #9442 from annando/notice

Fixes notice:  Undefined index: nobody
This commit is contained in:
Philipp 2020-10-20 19:33:06 +02:00 committed by GitHub
commit e5b969ccb8
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -447,7 +447,7 @@ class HTTPSignature
$curl_opts = $opts; $curl_opts = $opts;
$curl_opts['header'] = $header; $curl_opts['header'] = $header;
if ($opts['nobody']) { if (!empty($opts['nobody'])) {
$curlResult = DI::httpRequest()->head($request, $curl_opts); $curlResult = DI::httpRequest()->head($request, $curl_opts);
} else { } else {
$curlResult = DI::httpRequest()->get($request, $curl_opts); $curlResult = DI::httpRequest()->get($request, $curl_opts);