Интеграция Vaadin и Spring: что заменяет @VaadinServletConfiguration?

Question

В моем коде pre-spring у меня была следующая конфигурация:

@VaadinServletConfiguration(productionMode = false, ui = AppUI.class, closeIdleSessions = true)
public class AppServlet extends VaadinServlet {
}

Но Книга Ваадина говорит в 11.18.9. Развертывание пользовательских интерфейсов и сервлетов Spring: пользовательские сервлеты

При настройке сервлета Vaadin, как описано в разделе 4.8.2, "Сервлет, портлет и служба Vaadin", вам просто нужно расширить com.vaadin.spring.internal.VaadinSpringServlet вместо com.vaadin.servlet.VaadinServlet.

@WebServlet(value = "/*", asyncSupported = true)
public class MySpringServlet extends SpringVaadinServlet {
}

Пользовательский сервлет не должен иметь @VaadinServletConfiguration, как это обычно бывает с сервлетом Vaadin, как описано в разделе 4.9 "Развертывание приложения".

Мой вопрос: где я могу передать параметры из @VaadinServletConfiguration?

Answer 1

Вы можете определить их в application.properties файл. Например:

vaadin.servlet.production-mode=true

Я использую IntelliJ IDEA 14 и могу автоматически заполнить эти настройки.

Answer 2

Эта аннотация просто добавляет параметры init к вашему сервлету vaadin.

Вы можете переопределить метод, и добавить все руководство

@WebServlet(value = "/*", asyncSupported = true)
public class WebServletVaadinConfiguration extends VaadinServlet {
    @Override
    public void init(ServletConfig servletConfig) throws ServletException {
      servletConfig.getServletContext().setInitParameter("productionMode","true");
     super.init(servletConfig);}
}