Merge branch 'master' of ssh://git.eclipse.org/gitroot/jetty/org.eclipse.jetty.admin
diff --git a/release-scripts/promote-to-codehaus.sh b/release-scripts/promote-to-codehaus.sh
new file mode 100755
index 0000000..0d66155
--- /dev/null
+++ b/release-scripts/promote-to-codehaus.sh
@@ -0,0 +1,189 @@
+#!/bin/sh
+
+if [ $# -ne 2 ]
+then
+ echo "Usage: ./promote-to-codehaus.sh 7.5.3.v20111011 7.5.3";
+ exit;
+fi
+
+echo "making local storage";
+local_storage=jetty-hightide-$2;
+mkdir -p $local_storage;
+
+curl_cli="curl";
+
+curl_user_agent="--user-agent \"Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/535.1 (KHTML, like Gecko) Chrome/14.0.835.186 Safari/535.1\"";
+
+url="http://repo2.maven.org/maven2/org/mortbay/jetty/jetty-hightide/$1";
+
+echo "getting remote files";
+
+filename=jetty-hightide-$1.tar.gz.asc;
+$curl_cli $curl_user_age $url/$filename > $local_storage/$filename;
+
+filename=jetty-hightide-$1.tar.gz.asc.md5;
+$curl_cli $curl_user_age $url/$filename > $local_storage/$filename;
+
+filename=jetty-hightide-$1.tar.gz.asc.sha1;
+$curl_cli $curl_user_age $url/$filename > $local_storage/$filename;
+
+filename=jetty-hightide-$1.tar.gz.md5;
+$curl_cli $curl_user_age $url/$filename > $local_storage/$filename;
+
+filename=jetty-hightide-$1.tar.gz.sha1;
+$curl_cli $curl_user_age $url/$filename > $local_storage/$filename;
+
+filename=jetty-hightide-$1.tar.gz;
+$curl_cli $curl_user_age $url/$filename > $local_storage/$filename;
+
+filename=jetty-hightide-$1.zip.asc;
+$curl_cli $curl_user_age $url/$filename > $local_storage/$filename;
+
+filename=jetty-hightide-$1.zip.asc.md5;
+$curl_cli $curl_user_age $url/$filename > $local_storage/$filename;
+
+filename=jetty-hightide-$1.zip.asc.sha1;
+$curl_cli $curl_user_age $url/$filename > $local_storage/$filename;
+
+filename=jetty-hightide-$1.zip;
+$curl_cli $curl_user_age $url/$filename > $local_storage/$filename;
+
+filename=jetty-hightide-$1.zip.md5;
+$curl_cli $curl_user_age $url/$filename > $local_storage/$filename;
+
+filename=jetty-hightide-$1.zip.sha1;
+$curl_cli $curl_user_age $url/$filename > $local_storage/$filename;
+
+
+echo "open https://dav.codehaus.org/dist/jetty" >> codehaus-$1.cavaderrc;
+
+echo "mkcol $local_storage" >> codehaus-$1.cavaderrc;
+
+echo "mput $local_storage/*" >> codehaus-$1.cavaderrc;
+
+echo "quit" >> codehaus-$1.cavaderrc;
+
+cadaver -r codehaus-$1.cavaderrc;
+
+rm codehaus-$1.cavaderrc;
+
+rm -Rf $local_storage;
+
+
+url="http://repo2.maven.org/maven2/org/mortbay/jetty/dist/jetty-deb/$1";
+
+echo "getting remote deb files";
+
+deb_storage=$1;
+
+mkdir $deb_storage;
+
+filename=jetty-deb-$1-javadoc.deb.asc;
+$curl_cli $curl_user_age $url/$filename > $deb_storage/$filename;
+
+filename=jetty-deb-$1-javadoc.deb.asc.md5;
+$curl_cli $curl_user_age $url/$filename > $deb_storage/$filename;
+
+filename=jetty-deb-$1-javadoc.dev.asc.sha1;
+$curl_cli $curl_user_age $url/$filename > $deb_storage/$filename;
+
+filename=jetty-deb-$1-javadoc.deb;
+$curl_cli $curl_user_age $url/$filename > $deb_storage/$filename;
+
+filename=jetty-deb-$1-javadoc.deb.md5;
+$curl_cli $curl_user_age $url/$filename > $deb_storage/$filename;
+
+filename=jetty-deb-$1-javadoc.deb.sha1;
+$curl_cli $curl_user_age $url/$filename > $deb_storage/$filename;
+
+filename=jetty-deb-$1.deb.asc;
+$curl_cli $curl_user_age $url/$filename > $deb_storage/$filename;
+
+filename=jetty-deb-$1.deb.asc.md5;
+$curl_cli $curl_user_age $url/$filename > $deb_storage/$filename;
+
+filename=jetty-deb-$1.deb.asc.sha1;
+$curl_cli $curl_user_age $url/$filename > $deb_storage/$filename;
+
+filename=jetty-deb-$1.deb;
+$curl_cli $curl_user_age $url/$filename > $deb_storage/$filename;
+
+filename=jetty-deb-$1.deb.md5;
+$curl_cli $curl_user_age $url/$filename > $deb_storage/$filename;
+
+filename=jetty-deb-$1.deb.sha1;
+$curl_cli $curl_user_age $url/$filename > $deb_storage/$filename;
+
+echo "open https://dav.codehaus.org/dist/jetty/deb" >> codehaus-deb-$1.cavaderrc;
+
+echo "mkcol $deb_storage" >> codehaus-deb-$1.cavaderrc;
+
+echo "mput $deb_storage/*" >> codehaus-deb-$1.cavaderrc;
+
+echo "quit" >> codehaus-deb-$1.cavaderrc;
+
+cadaver -r codehaus-deb-$1.cavaderrc;
+
+rm codehaus-deb-$1.cavaderrc;
+
+rm -Rf $deb_storage;
+
+url="http://repo2.maven.org/maven2/org/mortbay/jetty/dist/jetty-rpm/$1";
+
+echo "getting remote rpm files";
+
+rpm_storage=$1;
+
+mkdir $rpm_storage;
+
+filename=jetty-rpm-$1-javadoc.rpm.asc;
+$curl_cli $curl_user_age $url/$filename > $rpm_storage/$filename;
+
+filename=jetty-rpm-$1-javadoc.rpm.asc.md5;
+$curl_cli $curl_user_age $url/$filename > $rpm_storage/$filename;
+
+filename=jetty-rpm-$1-javadoc.rpm.asc.sha1;
+$curl_cli $curl_user_age $url/$filename > $rpm_storage/$filename;
+
+filename=jetty-rpm-$1-javadoc.rpm;
+$curl_cli $curl_user_age $url/$filename > $rpm_storage/$filename;
+
+filename=jetty-rpm-$1-javadoc.rpm.md5;
+$curl_cli $curl_user_age $url/$filename > $rpm_storage/$filename;
+
+filename=jetty-rpm-$1-javadoc.rpm.sha1;
+$curl_cli $curl_user_age $url/$filename > $rpm_storage/$filename;
+
+filename=jetty-rpm-$1.rpm.asc;
+$curl_cli $curl_user_age $url/$filename > $rpm_storage/$filename;
+
+filename=jetty-rpm-$1.rpm.asc.md5;
+$curl_cli $curl_user_age $url/$filename > $rpm_storage/$filename;
+
+filename=jetty-rpm-$1.rpm.asc.sha1;
+$curl_cli $curl_user_age $url/$filename > $rpm_storage/$filename;
+
+filename=jetty-rpm-$1.rpm;
+$curl_cli $curl_user_age $url/$filename > $rpm_storage/$filename;
+
+filename=jetty-rpm-$1.rpm.md5;
+$curl_cli $curl_user_age $url/$filename > $rpm_storage/$filename;
+
+filename=jetty-rpm-$1.rpm.sha1;
+$curl_cli $curl_user_age $url/$filename > $rpm_storage/$filename;
+
+echo "open https://dav.codehaus.org/dist/jetty/rpm" >> codehaus-rpm-$1.cavaderrc;
+
+echo "mkcol $rpm_storage" >> codehaus-rpm-$1.cavaderrc;
+
+echo "mput $rpm_storage/*" >> codehaus-rpm-$1.cavaderrc;
+
+echo "quit" >> codehaus-rpm-$1.cavaderrc;
+
+cadaver -r codehaus-rpm-$1.cavaderrc;
+
+rm codehaus-rpm-$1.cavaderrc;
+
+rm -Rf $rpm_storage;
+
+
diff --git a/release-scripts/promote-to-eclipse.sh b/release-scripts/promote-to-eclipse.sh
new file mode 100755
index 0000000..7abe601
--- /dev/null
+++ b/release-scripts/promote-to-eclipse.sh
@@ -0,0 +1,91 @@
+#!/bin/sh
+
+if [ $# -ne 1 ]
+then
+ echo "Usage: ./promote-to-eclipse.sh 7.5.3.v20111011";
+ exit;
+fi
+
+#git clone ssh://git.eclipse.org/gitroot/jetty/org.eclipse.jetty.project.git
+
+#cd org.eclipse.jetty.project;
+
+#git checkout jetty-$1;
+
+#mvn -Paggregate-site javadoc:aggregate jxr:jxr;
+
+#mvn -N site:deploy;
+
+#cd ..;
+
+#rm -Rf org.eclipse.jetty.project;
+
+echo "making local storage";
+local_storage=eclipse-$1;
+mkdir -p $local_storage;
+
+curl_cli="curl";
+
+curl_user_agent="--user-agent \"Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/535.1 (KHTML, like Gecko) Chrome/14.0.835.186 Safari/535.1\"";
+
+url="http://repo2.maven.org/maven2/org/eclipse/jetty/jetty-distribution/$1";
+
+echo "getting remote files";
+
+filename=jetty-distribution-$1.tar.gz.asc;
+$curl_cli $curl_user_age $url/$filename > $local_storage/$filename;
+
+filename=jetty-distribution-$1.tar.gz.asc.md5;
+$curl_cli $curl_user_age $url/$filename > $local_storage/$filename;
+
+filename=jetty-distribution-$1.tar.gz.asc.sha1;
+$curl_cli $curl_user_age $url/$filename > $local_storage/$filename;
+
+filename=jetty-distribution-$1.tar.gz.md5;
+$curl_cli $curl_user_age $url/$filename > $local_storage/$filename;
+
+filename=jetty-distribution-$1.tar.gz.sha1;
+$curl_cli $curl_user_age $url/$filename > $local_storage/$filename;
+
+filename=jetty-distribution-$1.tar.gz;
+$curl_cli $curl_user_age $url/$filename > $local_storage/$filename;
+
+filename=jetty-distribution-$1.zip.asc;
+$curl_cli $curl_user_age $url/$filename > $local_storage/$filename;
+
+filename=jetty-distribution-$1.zip.asc.md5;
+$curl_cli $curl_user_age $url/$filename > $local_storage/$filename;
+
+filename=jetty-distribution-$1.zip.asc.sha1;
+$curl_cli $curl_user_age $url/$filename > $local_storage/$filename;
+
+filename=jetty-distribution-$1.zip;
+$curl_cli $curl_user_age $url/$filename > $local_storage/$filename;
+
+filename=jetty-distribution-$1.zip.md5;
+$curl_cli $curl_user_age $url/$filename > $local_storage/$filename;
+
+filename=jetty-distribution-$1.zip.sha1;
+$curl_cli $curl_user_age $url/$filename > $local_storage/$filename;
+
+echo "making remote directory";
+ssh jmcconnell@build.eclipse.org "mkdir -p /home/data/users/jmcconnell/downloads/jetty/$1/dist";
+
+echo "fixing apidocs";
+ssh jmcconnell@build.eclipse.org "mv /home/data/users/jmcconnell/downloads/jetty/$1/jetty-project/apidocs /home/data/users/jmcconnell/downloads/jetty/$1/apidocs";
+
+echo "fixing xref";
+ssh jmcconnell@build.eclipse.org "mv /home/data/users/jmcconnell/downloads/jetty/$1/jetty-project/xref /home/data/users/jmcconnell/downloads/jetty/$1/xref";
+
+echo "smoking jetty-project leftovers";
+ssh jmcconnell@build.eclipse.org "rm -Rf /home/data/users/jmcconnell/downloads/jetty/$1/jetty-project";
+
+echo "copying goods into location";
+scp -r $local_storage/* jmcconnell@build.eclipse.org:/home/data/users/jmcconnell/downloads/jetty/$1/dist;
+
+echo "regenerating remote site";
+ssh jmcconnell@build.eclipse.org "cd /home/data/users/jmcconnell/downloads/jetty && ./index.sh";
+
+echo "removing local storage"
+rm -Rf $local_storage;
+
