Accessing web.xml settings

Vaadin 6 / 7 / 8
1

I need to set some and in my Vaadin 7 application. What is the preferred mechanism for fetching them?

2

Using VaadinServlet.getCurrent() you can get a reference to the servlet instance. From there it is just a matter of using the servlet API.

3

Thanks. That is what I am doing, but I was afraid I missed some Vaadin API.