diff --git a/WEB/server.php b/WEB/server.php index 3ddb0750..76ea3b0b 100644 --- a/WEB/server.php +++ b/WEB/server.php @@ -58,6 +58,13 @@ while(true) { // Commencer à écouter sur le port $result = socket_listen($socket, 10) or die ("N'a pas pu configurer l'écoute sur la socket ERROR : ".socket_strerror(socket_last_error())."\n"); + if ($result === false) { + // L'écoute sur le port a échoué + echo "socket_listen a échoué : " . socket_strerror(socket_last_error()) . "\n"; + } else { + echo "socket listen sur le port :".$port."\n"; + // L'écoute sur le port a réussi + } //Si c'est une connection entrante, on la rajoute à la liste des sockets à surveiller if(in_array($socket,$read))