Liferay + Vaadin 7.1 beta1 + ICEPush

Hi,

Standard vaadin Push dont work with portlets. So i took ICEPush, works fine so far, but after changing servlet mapping, its completely unfunctional.


	<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>/icepush/*</url-pattern>
    </servlet-mapping>

The problem is, that under root i got planty resources like icons, portlets jsp etc. Can someone please tell me if its possible to change this url or not? May be a little hack in ICEPush addon will help?
Can this url be rewritten or it should really be the root mapping?

Denis