Vaadin 7.1.0支持jetty的server push吗？

[xzs (zongshui xiao)]

发现只有支持tomcat和jboss的jar。

[Cloudor (Cloudor Pool)]

vaadin用的是atmosphere支持各种web容器的各种server push方式。我用的是vaadin7.2，jetty9，可以用。