Merge pull request #305 from jetty-project/async-support-302

Configurable stop time #302

Author: ludoch

jetty9-base/src/main/jetty-base/etc/gae.xml

@@ -71,4 +71,8 @@
       </Arg>
     </Call>
   </Ref>
+
+  <!-- TODO remove when this has been added to jetty.xml -->
+  <Set name="stopTimeout"><Property name="jetty.server.stopTimeout" default="30000"/></Set>
+
 </Configure>

jetty9-base/src/main/jetty-base/modules/gae.mod

@@ -25,3 +25,5 @@ jetty.httpConfig.sendDateHeader=false
 
 #gae.httpPort=80
 #gae.httpsPort=443
+
+#jetty.server.stopTimeout=30000

jetty9-compat-base/src/main/jetty-base/etc/gae.xml

@@ -103,4 +103,8 @@
         </Arg>
       </Call>
     </Ref>
+
+    <!-- TODO remove when this has been added to jetty.xml -->
+    <Set name="stopTimeout"><Property name="jetty.server.stopTimeout" default="30000"/></Set>
+
 </Configure>

jetty9-compat-base/src/main/jetty-base/modules/gae.mod

@@ -39,6 +39,7 @@ jetty.httpConfig.requestHeaderSize=8192
 jetty.httpConfig.responseHeaderSize=8192
 jetty.httpConfig.sendServerVersion=true
 jetty.httpConfig.sendDateHeader=false
+jetty.server.stopTimeout=30000
 jetty.server.dumpAfterStart=false
 jetty.server.dumpBeforeStop=false
 jetty.httpConfig.delayDispatchUntilContent=false