Add-on for Using Vaadin Push in Portals
Portal Push is an Add-on which enables you to take advantage of the Vaadin push feature in your portlets.
The package contains a servlet which you should deploy along with your portlet. This servlet will handle the push requests from the browser.
If also contains a portlet class which you should extend instead of VaadinPortlet.
The servlet and portlet classes will connect your UI class to the push channel, and enable push in your UI by adding @Push, as in any servlet application
Built using 7.6.0.beta1 and requires Vaadin 7.6
For an example, see https://github.com/Artur-/portal-push-demo