diff --git a/WEB/server.php b/WEB/server.php index 36bb98c6..b8a8665a 100644 --- a/WEB/server.php +++ b/WEB/server.php @@ -61,8 +61,6 @@ $response=''; $request=''; -$client=null; - while(true) { // Commencer à écouter sur le port @@ -79,7 +77,7 @@ while(true) { if(in_array($socket,$read)) { // Accepter la connection entrante - if($client = socket_accept($socket) === false || $client===null) + if($client = socket_accept($socket) === false) { echo "N'a pas pu accepter la connection entrante ERROR : ".socket_strerror(socket_last_error())."\n"; return;