From 955e7823ada2a3a4f6ccc1dc8a67278d0d29a357 Mon Sep 17 00:00:00 2001
From: dev <dev@welterde.de>
Date: Thu, 22 May 2008 20:52:56 +0000
Subject: [PATCH] replaced jetty download-url

---
 apps/jetty/build.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/apps/jetty/build.xml b/apps/jetty/build.xml
index a59c3fddba..49a1064d36 100644
--- a/apps/jetty/build.xml
+++ b/apps/jetty/build.xml
@@ -3,7 +3,7 @@
 
     <property name="jetty.sha1" value="021164f84da7304bd1ff07c268b45aa3e0b13322" />
     <property name="jetty.md5" value="a61adc832be6baf2678935506743cfc3" />
-    <property name="jetty.url" value="http://mesh.dl.sourceforge.net/sourceforge/jetty/jetty-5.1.12.zip" />
+    <property name="jetty.url" value="http://dist.codehaus.org/jetty/jetty-5.1.x/jetty-5.1.12.zip" />
     <property name="jetty.filename" value="jetty-5.1.12.zip" />
 
     <target name="all" depends="build" />