LPS-20488 Eclipse distribution URLs change with each incremental rele…

…ase, so switch to CodeHaus distribution
tagnaouti · Sep 13, 2011 · 9cdbd99 · 9cdbd99
1 parent 97dba78
commit 9cdbd99
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/app.server.properties b/app.server.properties
@@ -104,8 +104,8 @@
     app.server.jetty.log.dir=${app.server.jetty.dir}/logs
     app.server.jetty.temp.dir=${app.server.jetty.dir}/work
     app.server.jetty.work.dir=${app.server.jetty.dir}/work
-    app.server.jetty.zip.name=jetty-distribution-${app.server.jetty.version}.v${app.server.jetty.version.date}.zip
-    app.server.jetty.zip.url=http://download.eclipse.org/jetty/${app.server.jetty.version}.v${app.server.jetty.version.date}/dist/${app.server.jetty.zip.name}
+    app.server.jetty.zip.name=jetty-hightide-${app.server.jetty.version}.v${app.server.jetty.version.date}.zip
+    app.server.jetty.zip.url=http://dist.codehaus.org/jetty/jetty-hightide-${app.server.jetty.version}/${app.server.jetty.zip.name}
 
 ##
 ## JOnAS

diff --git a/build-dist.xml b/build-dist.xml
@@ -915,11 +915,11 @@ release was successful.</echo>
 			src="${app.server.parent.dir}/${app.server.jetty.zip.name}"
 		>
 			<patternset
-				excludes="jetty-distribution-${app.server.jetty.version}.v${app.server.jetty.version.date}/bin/**,jetty-distribution-${app.server.jetty.version}.v${app.server.jetty.version.date}/contexts/**,jetty-distribution-${app.server.jetty.version}.v${app.server.jetty.version.date}/contexts-available/**,jetty-distribution-${app.server.jetty.version}.v${app.server.jetty.version.date}/contrib/**,jetty-distribution-${app.server.jetty.version}.v${app.server.jetty.version.date}/overlays/**,jetty-distribution-${app.server.jetty.version}.v${app.server.jetty.version.date}/webapps/**"
+				excludes="jetty-hightide-${app.server.jetty.version}.v${app.server.jetty.version.date}/bin/**,jetty-hightide-${app.server.jetty.version}.v${app.server.jetty.version.date}/contexts/**,jetty-hightide-${app.server.jetty.version}.v${app.server.jetty.version.date}/contexts-available/**,jetty-hightide-${app.server.jetty.version}.v${app.server.jetty.version.date}/javadoc/**,jetty-hightide-${app.server.jetty.version}.v${app.server.jetty.version.date}/overlays/**,jetty-hightide-${app.server.jetty.version}.v${app.server.jetty.version.date}/webapps/**"
 			/>
 			<mapper
 				type="glob"
-				from="jetty-distribution-${app.server.jetty.version}.v${app.server.jetty.version.date}/*"
+				from="jetty-hightide-${app.server.jetty.version}.v${app.server.jetty.version.date}/*"
 				to="jetty-${app.server.jetty.version}/*"
 			/>
 		</unzip>