chg: upgraded jetty to version 9.4.3.v20170317

cherry-picked from 390231e8dd
2017-04-17 15:06:14 +02:00 · 2017-04-17 15:06:14 +02:00 · 468e8a9298
commit 468e8a9298
parent 6860ea589e
24 changed files with 57 additions and 103 deletions
--- a/lib/javax.servlet-3.0.0.v201112011016.jar
+++ b/lib/javax.servlet-3.0.0.v201112011016.jar
--- a/lib/jetty-ajp-8.1.22.v20160922.jar
+++ b/lib/jetty-ajp-8.1.22.v20160922.jar
--- a/lib/jetty-continuation-8.1.22.v20160922.jar
+++ b/lib/jetty-continuation-8.1.22.v20160922.jar
--- a/lib/jetty-http-8.1.22.v20160922.jar
+++ b/lib/jetty-http-8.1.22.v20160922.jar
--- a/lib/jetty-http-9.4.3.v20170317.jar
+++ b/lib/jetty-http-9.4.3.v20170317.jar
--- a/lib/jetty-io-8.1.22.v20160922.jar
+++ b/lib/jetty-io-8.1.22.v20160922.jar
--- a/lib/jetty-io-9.4.3.v20170317.jar
+++ b/lib/jetty-io-9.4.3.v20170317.jar
--- a/lib/jetty-security-8.1.22.v20160922.jar
+++ b/lib/jetty-security-8.1.22.v20160922.jar
--- a/lib/jetty-security-9.4.3.v20170317.jar
+++ b/lib/jetty-security-9.4.3.v20170317.jar
--- a/lib/jetty-server-8.1.22.v20160922.jar
+++ b/lib/jetty-server-8.1.22.v20160922.jar
--- a/lib/jetty-server-9.4.3.v20170317.jar
+++ b/lib/jetty-server-9.4.3.v20170317.jar
--- a/lib/jetty-servlet-8.1.22.v20160922.jar
+++ b/lib/jetty-servlet-8.1.22.v20160922.jar
--- a/lib/jetty-servlet-9.4.3.v20170317.jar
+++ b/lib/jetty-servlet-9.4.3.v20170317.jar
--- a/lib/jetty-util-8.1.22.v20160922.jar
+++ b/lib/jetty-util-8.1.22.v20160922.jar
--- a/lib/jetty-util-9.4.3.v20170317.jar
+++ b/lib/jetty-util-9.4.3.v20170317.jar
--- a/lib/jetty-xml-8.1.22.v20160922.jar
+++ b/lib/jetty-xml-8.1.22.v20160922.jar
--- a/lib/jetty-xml-9.4.3.v20170317.jar
+++ b/lib/jetty-xml-9.4.3.v20170317.jar