WebSockets server API for zope / grok

I was looking for a way of using the WebSockets API from my grok server application. Has anyone done this before?

I've seen a couple of Python implementations already, but which are based on CherryPy or gevent (ws4py - https://github.com/Lawouach/WebSocket-for-Python). Tornado apparently provides its own implementation, too.

I'm developing with grok, so I had a little look through its Zope3 dependencies, and thought that zope.publisher might provide a nice set of base classes for setting up the server socket, performing the handshake and encrypting / decrypting the data streams.

Are there any plans for implementing this?

The full RFC (6455) is available at: http://www.rfc-editor.org/rfc/rfc6455.txt