diff --git a/src/Executor/Server.php b/src/Executor/Server.php index 80aa3eb9a..824417768 100644 --- a/src/Executor/Server.php +++ b/src/Executor/Server.php @@ -149,16 +149,10 @@ private function handleClientRequests(): void private function readClientRequest($clientSocket) { - $request = ''; - while (($chunk = @fread($clientSocket, 1024)) !== false) { - $request .= $chunk; - if (strpos($request, "\r\n\r\n") !== false) { - break; - } - } + $request = stream_get_contents($clientSocket); - if ($chunk === false && !feof($clientSocket)) { - throw new Exception("Socket read failed"); + if ($request === false) { + throw new Exception('Socket read failed'); } return $request;