We don't actually need a Web Sockets server, so this file can go.

(if we did, it would need to be integrated with our wptserve tool)