@@ -200,12 +200,12 @@ |
||
200 | 200 | // Check to see if the response is empty, if so we are done with this server |
201 | 201 | if (strlen($response) == 0) { |
202 | 202 | // Remove this server from any future read loops |
203 | - unset($sockets_tmp[(int)$socket]); |
|
203 | + unset($sockets_tmp[(int) $socket]); |
|
204 | 204 | continue; |
205 | 205 | } |
206 | 206 | |
207 | 207 | // Add the response we got back |
208 | - $responses[(int)$socket][] = $response; |
|
208 | + $responses[(int) $socket][] = $response; |
|
209 | 209 | } |
210 | 210 | |
211 | 211 | // Because stream_select modifies read we need to reset it each time to the original array of sockets |