jetty 7.6.13.v20130916

2013-10-04 23:43:38 +00:00
parent e1d808a284
commit 3a4f5a2f1b
17 changed files with 3 additions and 3 deletions
--- a/LICENSE.txt
+++ b/LICENSE.txt
@@ -177,7 +177,7 @@ Applications:
   By welterde.
   See licenses/LICENSE-GPLv2.txt

-   Jetty 7.6.12.v20130726:
+   Jetty 7.6.13.v20130916:
   See licenses/ABOUT-Jetty.html
   See licenses/NOTICE-Jetty.html
   See licenses/LICENSE-Apache2.0.txt
--- 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.12.v20130726" />
+    <property name="jetty.ver" value="7.6.13.v20130916" />
    <property name="jetty.base" value="jetty-distribution-${jetty.ver}" />
-    <property name="jetty.sha1" value="986f66f3fbd3a6354e0664e3c189260327d180ad" />
+    <property name="jetty.sha1" value="35cf80c8d2ac8f6a44643bcc23b59fe77c40f87f" />
    <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-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
--- a/apps/jetty/jetty-distribution-7.6.13.v20130916/lib/jetty-continuation-7.6.13.v20130916.jar
+++ b/apps/jetty/jetty-distribution-7.6.13.v20130916/lib/jetty-continuation-7.6.13.v20130916.jar
--- a/apps/jetty/jetty-distribution-7.6.13.v20130916/lib/jetty-deploy-7.6.13.v20130916.jar
+++ b/apps/jetty/jetty-distribution-7.6.13.v20130916/lib/jetty-deploy-7.6.13.v20130916.jar
--- a/apps/jetty/jetty-distribution-7.6.13.v20130916/lib/jetty-http-7.6.13.v20130916.jar
+++ b/apps/jetty/jetty-distribution-7.6.13.v20130916/lib/jetty-http-7.6.13.v20130916.jar
--- a/apps/jetty/jetty-distribution-7.6.13.v20130916/lib/jetty-io-7.6.13.v20130916.jar
+++ b/apps/jetty/jetty-distribution-7.6.13.v20130916/lib/jetty-io-7.6.13.v20130916.jar
--- a/apps/jetty/jetty-distribution-7.6.13.v20130916/lib/jetty-jmx-7.6.13.v20130916.jar
+++ b/apps/jetty/jetty-distribution-7.6.13.v20130916/lib/jetty-jmx-7.6.13.v20130916.jar
--- a/apps/jetty/jetty-distribution-7.6.13.v20130916/lib/jetty-rewrite-7.6.13.v20130916.jar
+++ b/apps/jetty/jetty-distribution-7.6.13.v20130916/lib/jetty-rewrite-7.6.13.v20130916.jar
--- a/apps/jetty/jetty-distribution-7.6.13.v20130916/lib/jetty-security-7.6.13.v20130916.jar
+++ b/apps/jetty/jetty-distribution-7.6.13.v20130916/lib/jetty-security-7.6.13.v20130916.jar
--- a/apps/jetty/jetty-distribution-7.6.13.v20130916/lib/jetty-server-7.6.13.v20130916.jar
+++ b/apps/jetty/jetty-distribution-7.6.13.v20130916/lib/jetty-server-7.6.13.v20130916.jar
--- a/apps/jetty/jetty-distribution-7.6.13.v20130916/lib/jetty-servlet-7.6.13.v20130916.jar
+++ b/apps/jetty/jetty-distribution-7.6.13.v20130916/lib/jetty-servlet-7.6.13.v20130916.jar
--- a/apps/jetty/jetty-distribution-7.6.13.v20130916/lib/jetty-servlets-7.6.13.v20130916.jar
+++ b/apps/jetty/jetty-distribution-7.6.13.v20130916/lib/jetty-servlets-7.6.13.v20130916.jar
--- a/apps/jetty/jetty-distribution-7.6.13.v20130916/lib/jetty-util-7.6.13.v20130916.jar
+++ b/apps/jetty/jetty-distribution-7.6.13.v20130916/lib/jetty-util-7.6.13.v20130916.jar
--- a/apps/jetty/jetty-distribution-7.6.13.v20130916/lib/jetty-webapp-7.6.13.v20130916.jar
+++ b/apps/jetty/jetty-distribution-7.6.13.v20130916/lib/jetty-webapp-7.6.13.v20130916.jar
--- a/apps/jetty/jetty-distribution-7.6.13.v20130916/lib/jetty-xml-7.6.13.v20130916.jar
+++ b/apps/jetty/jetty-distribution-7.6.13.v20130916/lib/jetty-xml-7.6.13.v20130916.jar