Push support for Vaadin 6 and 7 using ICEPush
This add-on is unnecessary since Vaadin 7.2. The built in push mechanism is more performant and more reliable and should be used instead of this add-on.
A component that adds push support to Vaadin!
Add the component to your application and call push() in a background server thread to update the application.
Note that you must use org.vaadin.artur.icepush.ICEPushServlet instead of com.vaadin.terminal.gwt.server.ApplicationServlet.
Based on ICEPush 2.0.0 alpha 3. Make sure that you add icepush.jar and icepush-gwt.jar to your WEB-INF/lib.
To use in a portlet you can use the same servlet to provide push capabilities. You need to add a web.xml that contians the following (headers, footers omitted):
<servlet> <servlet-name>ICEPush for Portlets</servlet-name> <servlet-class>org.vaadin.artur.icepush.ICEPushServlet</servlet-class> <load-on-startup>1</load-on-startup> </servlet> <servlet-mapping> <servlet-name>ICEPush for Portlets</servlet-name> <url-pattern>/*</url-pattern> </servlet-mapping>
Please note that the add-on uses Servlet API 2.5 so you need a servlet container that supports that version (e.g. Tomcat 6.0 or newer)
Fixes a bug where updates would not be rendered until user does something, e.g. move the mouse