working on event pusher with Tomcat's websocket api.