Fix issue where stream read is terminated prematurely (#4032)

* Update Server.php

* Update Server.php

* Update Server.php

* Fix issue where stream read is terminated prematurely

Author: pelmered

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;