Portal configuration problem

Hi all,

Quite simple question.

In the vaadin book(http://vaadin.com/book/-/page/advanced.portal.html) the Application name is said to be the name of the servlet.


        <!-- Must match the servlet name in web.xml. -->



But in the examples the application name is the mappin? Which is thould be?

I have the mapping as following:


What I should set as the portal application? I think that this is the reason why my request are not going as portlet requests.