In my pre-spring code I had following configuration:
@VaadinServletConfiguration(productionMode = false, ui = AppUI.class, closeIdleSessions = true)
public class AppServlet extends VaadinServlet {
}
But the Book of Vaadin says in 11.18.9. Deploying Spring UIs and Servlets: Custom Servlets
When customizing the Vaadin servlet, as outlined in Section 4.8.2, “Vaadin Servlet, Portlet, and Service”, you simply need to extend com.vaadin.spring.internal.VaadinSpringServlet instead of com.vaadin.servlet.VaadinServlet.
@WebServlet(value = "/*", asyncSupported = true) public class MySpringServlet extends SpringVaadinServlet { }
The custom servlet must not have @VaadinServletConfiguration, as you would normally with a Vaadin servlet, as described in Section 4.9, “Deploying an Application”.
My question is: Where do I pass parameters from @VaadinServletConfiguration?