diff options
Diffstat (limited to 'WebContent/WEB-INF/web.xml')
| -rw-r--r-- | WebContent/WEB-INF/web.xml | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/WebContent/WEB-INF/web.xml b/WebContent/WEB-INF/web.xml index 51ac907843..a9d3db30b3 100644 --- a/WebContent/WEB-INF/web.xml +++ b/WebContent/WEB-INF/web.xml @@ -115,6 +115,16 @@ <async-supported>true</async-supported> </servlet> + <servlet> + <servlet-name>VaadinApplicationRunnerWithPushTimeout</servlet-name> + <servlet-class>com.vaadin.launcher.ApplicationRunnerServlet</servlet-class> + <init-param> + <param-name>pushLongPollingSuspendTimeout</param-name> + <param-value>10000</param-value> + </init-param> + <async-supported>true</async-supported> + </servlet> + <!-- For testing GAE - the deployment script changes this to use GAEVaadinServlet --> <servlet> <servlet-name>IntegrationTest</servlet-name> @@ -160,6 +170,11 @@ </servlet-mapping> <servlet-mapping> + <servlet-name>VaadinApplicationRunnerWithPushTimeout</servlet-name> + <url-pattern>/run-push-timeout/*</url-pattern> + </servlet-mapping> + + <servlet-mapping> <servlet-name>VaadinApplicationRunnerWithJSR356</servlet-name> <url-pattern>/run-jsr356/*</url-pattern> </servlet-mapping> |