Passed
Push — main ( 8f50ec...27cabb )
by Marco Aurélio
12:09 queued 08:15
created
src/SessionRetriever.php 1 patch
Spacing   +1 added lines, -1 removed lines patch added patch discarded remove patch
@@ -51,7 +51,7 @@
 block discarded – undo
51 51
         // session_start(): php_network_getaddresses: getaddrinfo failed: Name or service not known
52 52
         // This error is happening on 0.02% of our requests and AWS treat it as transient network
53 53
         // issues. Retrying before giving up might mitigate the problem.
54
-        retry(3, function () {
54
+        retry(3, function() {
55 55
             session_start();
56 56
         });
57 57
 
Please login to merge, or discard this patch.