-
-
Notifications
You must be signed in to change notification settings - Fork 4
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Use parallel http requests #79
Conversation
@EmilMassey could you double check whether this PR breaks something for you? |
$responseCode = curl_getinfo($handle, CURLINFO_RESPONSE_CODE); | ||
$result[$url] = [$responseCode, $response]; | ||
|
||
curl_multi_remove_handle($mh, $handle); |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
the curl PHP 7.4 phpstan errors are fixed with phpstan/phpstan-src#2882 in the next PHPStan release
/** | ||
* @var array<string, ?string> | ||
*/ | ||
private array $cache; |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
we no longer need the caching, because the fetcher now gets a full list of all ticket-keys without duplicates
@staabm Everything works as expected |
thanks |
closes #76
requires the next phpstan release: phpstan/phpstan-src#2882 in the next PHPStan release