[HttpClient] workaround curl_multi_select() issue

nicolas-grekas · nicolas-grekas · commit bbcbbbe0b190 · 2019-10-15T14:30:03.000+02:00
diff --git a/Response/CurlResponse.php b/Response/CurlResponse.php
@@ -274,6 +274,11 @@ private static function perform(CurlClientState $multi, array &$responses = null
      */
     private static function select(CurlClientState $multi, float $timeout): int
     {
+        if (\PHP_VERSION_ID < 70123 || (70200 <= \PHP_VERSION_ID && \PHP_VERSION_ID < 70211)) {
+            // workaround https://bugs.php.net/76480
+            $timeout = min($timeout, 0.01);
+        }
+
         return curl_multi_select($multi->handle, $timeout);
     }
 

Original file line number	Diff line number	Diff line change
`@@ -274,6 +274,11 @@ private static function perform(CurlClientState $multi, array &$responses = null`
`274`	`274`	`*/`
`275`	`275`	`private static function select(CurlClientState $multi, float $timeout): int`
`276`	`276`	`{`
	`277`	`+ if (\PHP_VERSION_ID < 70123 \|\| (70200 <= \PHP_VERSION_ID && \PHP_VERSION_ID < 70211)) {`
	`278`	`+ // workaround https://bugs.php.net/76480`
	`279`	`+ $timeout = min($timeout, 0.01);`
	`280`	`+ }`
	`281`	`+`
`277`	`282`	`return curl_multi_select($multi->handle, $timeout);`
`278`	`283`	`}`
`279`	`284`