A very simple general purpose websocket server that does the job - View it on GitHub