socket_select(): 5 is not valid Socket resource

[GoogleCodeExporter]

server.php
$master  = WebSocket("localhost",12345);
client.html
socket = new WebSocket("ws://localhost:12345/websocket/server.php");

php -q server.php
master socket : resource id #4
listening on : localhost port 12345
cmd have notice:
Warning: socket_select(): 5 is not valid Socket resource in 
D:\www\websocket\server.php on line 13
when i visiting http://localhost/websocket/client.html
I use PHP5.2.6
my gmail is online
Please help
thx

Original issue reported on code.google.com by laper...@gmail.com on 27 Jun 2012 at 9:33