socket_select(): 5 is not valid Socket resource

```
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