Websocket using php

Hello, I have the need to use websockets for the server part of an application I am developing and I found with a big surprise no websocket class or procedure is available on the net. Have I missed looking in some place? Being really interested in using this protocol with PHP, I start from the closest working thing: http://code.google.com/p/phpwebsocket/ and start adapting it to the lastest RFC describing the protocol http://tools.ietf.org/html/rfc6455, but it is really heavy to code and I feel like "reinventing the wheel". Is there anyone out there who has already written a websocket server in PHP and like to share the code? Leandro