430822 - jetty-start / make soLingerTime configurable via property

+ Added 'https.soLingerTime' and 'http.soLingerTime' properties

jetty-server/src/main/config/etc/jetty-http.xml

@@ -34,6 +34,7 @@
         <Set name="host"><Property name="jetty.host" /></Set>
         <Set name="port"><Property name="jetty.port" default="80" /></Set>
         <Set name="idleTimeout"><Property name="http.timeout" default="30000"/></Set>
+        <Set name="soLingerTime"><Property name="http.soLingerTime" default="-1"/></Set>
       </New>
     </Arg>
   </Call>

jetty-server/src/main/config/etc/jetty-https.xml

@@ -41,6 +41,7 @@
           <Set name="host"><Property name="jetty.host" /></Set>
           <Set name="port"><Property name="https.port" default="443" /></Set>
           <Set name="idleTimeout"><Property name="https.timeout" default="30000"/></Set>
+          <Set name="soLingerTime"><Property name="https.soLingerTime" default="-1"/></Set>
         </New>
     </Arg>
   </Call>

jetty-server/src/main/config/modules/http.mod

@@ -10,5 +10,9 @@ etc/jetty-http.xml
 
 [ini-template]
 ## HTTP Connector Configuration
+# HTTP port to listen on
 jetty.port=8080
+# HTTP idle timeout in milliseconds
 http.timeout=30000
+# HTTP Socket.soLingerTime in seconds. (-1 to disable)
+# http.soLingerTime=-1

jetty-server/src/main/config/modules/https.mod

@@ -14,3 +14,6 @@ etc/jetty-https.xml
 https.port=8443
 # HTTPS idle timeout in milliseconds
 https.timeout=30000
+# HTTPS Socket.soLingerTime in seconds. (-1 to disable)
+# https.soLingerTime=-1
+