search

varspool / Wrench

A simple PHP WebSocket implementation for PHP 7.1
Do What The F*ck You Want To Public License
596 stars 210 forks source link

Errors when WebSocket disconnects #13

Closed alliv8 closed 12 years ago

alliv8 commented 12 years ago

I get the following errors when WebSocket disconnects

err: Wrench\ConnectionManager: Error on client socket: exception 'Wrench\Exception\CloseException' with message 'Error reading data from socket: Unknown error' in ../test/wrench/lib/Wrench/Connection.php:399 Stack trace:

0 ../test/wrench/lib/Wrench/ConnectionManager.php(232): Wrench\Connection->process()

1 ../test/wrench/lib/Wrench/ConnectionManager.php(163): Wrench\ConnectionManager->processClientSocket(Resource id #20)

2 ../test/wrench/lib/Wrench/Server.php(187): Wrench\ConnectionManager->selectAndProcess()

3 ../test/wrench/examples/server.php(48): Wrench\Server->run()

4 {main}

PHP Notice: Undefined variable: e in ../test/wrench/lib/Wrench/Connection.php on line 418

Notice: Undefined variable: e in ../test/wrench/lib/Wrench/Connection.php on line 418