diff options
| author | luccioman <luccioman@users.noreply.github.com> | 2018-09-14 14:03:44 +0200 |
|---|---|---|
| committer | luccioman <luccioman@users.noreply.github.com> | 2018-09-14 14:03:44 +0200 |
| commit | 51f4be18073b56c84b770a3183a6287dcba2117d (patch) | |
| tree | e221f2c9ee4b20296c312215e82352103dff290b /build.xml | |
| parent | b5eabb626f9286936ba9df89bf9a25884a1329eb (diff) | |
Upgraded Jetty dependencies from 9.4.11.v20180605 to 9.4.12.v20180830
Diffstat (limited to 'build.xml')
| -rw-r--r-- | build.xml | 28 |
1 files changed, 14 insertions, 14 deletions
@@ -203,20 +203,20 @@ <pathelement location="${lib}/javax.servlet-api-3.1.0.jar" /> <pathelement location="${lib}/jcifs-1.3.17.jar" /> <pathelement location="${lib}/jcl-over-slf4j-1.7.25.jar" /> - <pathelement location="${lib}/jetty-client-9.4.11.v20180605.jar" /> - <pathelement location="${lib}/jetty-continuation-9.4.11.v20180605.jar" /> - <pathelement location="${lib}/jetty-deploy-9.4.11.v20180605.jar" /> - <pathelement location="${lib}/jetty-http-9.4.11.v20180605.jar" /> - <pathelement location="${lib}/jetty-io-9.4.11.v20180605.jar" /> - <pathelement location="${lib}/jetty-jmx-9.4.11.v20180605.jar" /> - <pathelement location="${lib}/jetty-proxy-9.4.11.v20180605.jar" /> - <pathelement location="${lib}/jetty-security-9.4.11.v20180605.jar" /> - <pathelement location="${lib}/jetty-server-9.4.11.v20180605.jar" /> - <pathelement location="${lib}/jetty-servlet-9.4.11.v20180605.jar" /> - <pathelement location="${lib}/jetty-servlets-9.4.11.v20180605.jar" /> - <pathelement location="${lib}/jetty-util-9.4.11.v20180605.jar" /> - <pathelement location="${lib}/jetty-webapp-9.4.11.v20180605.jar" /> - <pathelement location="${lib}/jetty-xml-9.4.11.v20180605.jar" /> + <pathelement location="${lib}/jetty-client-9.4.12.v20180830.jar" /> + <pathelement location="${lib}/jetty-continuation-9.4.12.v20180830.jar" /> + <pathelement location="${lib}/jetty-deploy-9.4.12.v20180830.jar" /> + <pathelement location="${lib}/jetty-http-9.4.12.v20180830.jar" /> + <pathelement location="${lib}/jetty-io-9.4.12.v20180830.jar" /> + <pathelement location="${lib}/jetty-jmx-9.4.12.v20180830.jar" /> + <pathelement location="${lib}/jetty-proxy-9.4.12.v20180830.jar" /> + <pathelement location="${lib}/jetty-security-9.4.12.v20180830.jar" /> + <pathelement location="${lib}/jetty-server-9.4.12.v20180830.jar" /> + <pathelement location="${lib}/jetty-servlet-9.4.12.v20180830.jar" /> + <pathelement location="${lib}/jetty-servlets-9.4.12.v20180830.jar" /> + <pathelement location="${lib}/jetty-util-9.4.12.v20180830.jar" /> + <pathelement location="${lib}/jetty-webapp-9.4.12.v20180830.jar" /> + <pathelement location="${lib}/jetty-xml-9.4.12.v20180830.jar" /> <pathelement location="${lib}/jsch-0.1.54.jar" /> <pathelement location="${lib}/json-simple-1.1.1.jar" /> <pathelement location="${lib}/jsonic-1.3.10.jar" /> |