Merge pull request #6883 from annando/uri-not-url

Fix notice - it's "uri" not "url"
This commit is contained in:
Philipp 2019-03-14 23:38:36 +01:00 committed by GitHub
commit 96ffb213d3
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -353,7 +353,7 @@ class Probe
$data = $ap_profile; $data = $ap_profile;
} }
} else { } else {
Logger::notice('Time out detected. AP will not be probed.', ['url' => $url]); Logger::notice('Time out detected. AP will not be probed.', ['uri' => $uri]);
} }
if (!isset($data['url'])) { if (!isset($data['url'])) {