Tomcat 7 with websocket support running on OpenShift