Jetty 7.6.12.v20130726

2013-08-11 11:28:33 +00:00
parent d8466333f3
commit 7171edad24
18 changed files with 7 additions and 4 deletions
--- a/apps/jetty/build.xml
+++ b/apps/jetty/build.xml
@@ -1,9 +1,9 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <project basedir="." default="all" name="jetty">

-    <property name="jetty.ver" value="7.6.11.v20130520" />
+    <property name="jetty.ver" value="7.6.12.v20130726" />
    <property name="jetty.base" value="jetty-distribution-${jetty.ver}" />
-    <property name="jetty.sha1" value="d32ee389ed711a0655de0432810b75b57ad3e500" />
+    <property name="jetty.sha1" value="986f66f3fbd3a6354e0664e3c189260327d180ad" />
    <property name="jetty.filename" value="${jetty.base}.zip" />
    <property name="jetty.url" value="http://download.eclipse.org/jetty/${jetty.ver}/dist/${jetty.filename}" />
    <property name="verified.filename" value="verified.txt" />
--- a/apps/jetty/jetty-distribution-7.6.12.v20130726/lib/jetty-continuation-7.6.12.v20130726.jar
+++ b/apps/jetty/jetty-distribution-7.6.12.v20130726/lib/jetty-continuation-7.6.12.v20130726.jar
--- a/apps/jetty/jetty-distribution-7.6.12.v20130726/lib/jetty-deploy-7.6.12.v20130726.jar
+++ b/apps/jetty/jetty-distribution-7.6.12.v20130726/lib/jetty-deploy-7.6.12.v20130726.jar
--- a/apps/jetty/jetty-distribution-7.6.12.v20130726/lib/jetty-http-7.6.12.v20130726.jar
+++ b/apps/jetty/jetty-distribution-7.6.12.v20130726/lib/jetty-http-7.6.12.v20130726.jar
--- a/apps/jetty/jetty-distribution-7.6.12.v20130726/lib/jetty-io-7.6.12.v20130726.jar
+++ b/apps/jetty/jetty-distribution-7.6.12.v20130726/lib/jetty-io-7.6.12.v20130726.jar
--- a/apps/jetty/jetty-distribution-7.6.12.v20130726/lib/jetty-jmx-7.6.12.v20130726.jar
+++ b/apps/jetty/jetty-distribution-7.6.12.v20130726/lib/jetty-jmx-7.6.12.v20130726.jar
--- a/apps/jetty/jetty-distribution-7.6.12.v20130726/lib/jetty-rewrite-7.6.12.v20130726.jar
+++ b/apps/jetty/jetty-distribution-7.6.12.v20130726/lib/jetty-rewrite-7.6.12.v20130726.jar
--- a/apps/jetty/jetty-distribution-7.6.12.v20130726/lib/jetty-security-7.6.12.v20130726.jar
+++ b/apps/jetty/jetty-distribution-7.6.12.v20130726/lib/jetty-security-7.6.12.v20130726.jar
--- a/apps/jetty/jetty-distribution-7.6.12.v20130726/lib/jetty-server-7.6.12.v20130726.jar
+++ b/apps/jetty/jetty-distribution-7.6.12.v20130726/lib/jetty-server-7.6.12.v20130726.jar
--- a/apps/jetty/jetty-distribution-7.6.12.v20130726/lib/jetty-servlet-7.6.12.v20130726.jar
+++ b/apps/jetty/jetty-distribution-7.6.12.v20130726/lib/jetty-servlet-7.6.12.v20130726.jar
--- a/apps/jetty/jetty-distribution-7.6.12.v20130726/lib/jetty-servlets-7.6.12.v20130726.jar
+++ b/apps/jetty/jetty-distribution-7.6.12.v20130726/lib/jetty-servlets-7.6.12.v20130726.jar
--- a/apps/jetty/jetty-distribution-7.6.12.v20130726/lib/jetty-util-7.6.12.v20130726.jar
+++ b/apps/jetty/jetty-distribution-7.6.12.v20130726/lib/jetty-util-7.6.12.v20130726.jar
--- a/apps/jetty/jetty-distribution-7.6.12.v20130726/lib/jetty-webapp-7.6.12.v20130726.jar
+++ b/apps/jetty/jetty-distribution-7.6.12.v20130726/lib/jetty-webapp-7.6.12.v20130726.jar
--- a/apps/jetty/jetty-distribution-7.6.12.v20130726/lib/jetty-xml-7.6.12.v20130726.jar
+++ b/apps/jetty/jetty-distribution-7.6.12.v20130726/lib/jetty-xml-7.6.12.v20130726.jar
--- a/apps/jetty/jetty-distribution-7.6.12.v20130726/start.jar
+++ b/apps/jetty/jetty-distribution-7.6.12.v20130726/start.jar