note 95262 added to function.stream-socket-server

In the last line of the UDP Server example there is an error: <?php $socket = stream_socket_server("udp://127.0.0.1:1113", $errno, $errstr, STREAM_SERVER_BIND); if (!$socket) { die("$errstr ($errno)"); } do { $pkt = stream_socket_recvfrom($socket, 1, 0, $peer); echo "$peer\n"; stream_socket_sendto($socket, date("D M j H:i:s Y\r\n"), 0, $peer); } while ($pkt !== false); // it must be while ($pkt != false); ?> The statement while ($pkt !== false); must be while ($pkt != false); ---- Server IP: 192.41.40.227 Probable Submitter: 81.223.11.21 ---- Manual Page -- http://www.php.net/manual/en/function.stream-socket-server.php Edit -- https://master.php.net/note/edit/95262 Del: integrated -- https://master.php.net/note/delete/95262/integrated Del: useless -- https://master.php.net/note/delete/95262/useless Del: bad code -- https://master.php.net/note/delete/95262/bad+code Del: spam -- https://master.php.net/note/delete/95262/spam Del: non-english -- https://master.php.net/note/delete/95262/non-english Del: in docs -- https://master.php.net/note/delete/95262/in+docs Del: other reasons-- https://master.php.net/note/delete/95262 Reject -- https://master.php.net/note/reject/95262 Search -- https://master.php.net/manage/user-notes.php