# HG changeset patch
# User robcast
# Date 1405603052 -7200
# Node ID 09424acc221675007c7c300dcae0e45074032c6e
# Parent  07290525b18d70a4205b70b8e1d8e3efc541926b
add explicit async-supported to web.xml for Jetty 9.

diff -r 07290525b18d -r 09424acc2216 webapp/src/main/webapp/WEB-INF/web-3.0.xml
--- a/webapp/src/main/webapp/WEB-INF/web-3.0.xml	Wed Jun 25 22:29:48 2014 +0200
+++ b/webapp/src/main/webapp/WEB-INF/web-3.0.xml	Thu Jul 17 15:17:32 2014 +0200
@@ -30,6 +30,8 @@
         <load-on-startup>
             5
         </load-on-startup>
+        <!-- yes we do use async, Jetty! -->
+        <async-supported>true</async-supported>
   </servlet>
   <!-- The mapping for the Scaler servlet -->
   <servlet-mapping>