PushServer is a minimal push server bridging together Redis pub/sub capability and SockJS - View it on GitHub