Adding static content?

General
1

I have an existing Vaadin application, which generally works fine. Now I had the idea to include the docs into the application. So I did some changes in web.xml. Before, I had

  <servlet-mapping>
    <servlet-name>Vaadin Servlet</servlet-name>
    <url-pattern>/*</url-pattern>
  </servlet-mapping>

I changed this to

  <servlet-mapping>
    <servlet-name>Vaadin Servlet</servlet-name>
    <url-pattern>/app/*</url-pattern>
  </servlet-mapping>

the idea being that I might use the directory /docs for the static content. Needless to say, Vaadin stops working below /app.

Any ideas how I might achieve my goal?

2

You should also map the
/VAADIN/*
 requests to the Vaadin Servlet.

<servlet-mapping>
	<servlet-name>Vaadin Servlet</servlet-name>
	<url-pattern>/VAADIN/*</url-pattern>
</servlet-mapping>

Or better yet, extract the
VAADIN
 directory from the
vaadin-x.y.z.jar
 and serve it directly without using the servlet.

For more details, see the related chapter in Book of Vaadin:

http://vaadin.com/book/-/page/application.environment.html#section.web.web-xml

3

Thanks, that worked!