diff --git a/embed-jetty/javax.servlet-3.0.0.v201112011016.jar b/embed-jetty/javax.servlet-3.0.0.v201112011016.jar deleted file mode 100644 index b135409..0000000 --- a/embed-jetty/javax.servlet-3.0.0.v201112011016.jar +++ /dev/null Binary files differ diff --git a/embed-jetty/javax.servlet-api-3.1.0.jar b/embed-jetty/javax.servlet-api-3.1.0.jar deleted file mode 100644 index 6b14c3d..0000000 --- a/embed-jetty/javax.servlet-api-3.1.0.jar +++ /dev/null Binary files differ diff --git a/embed-jetty/jetty-continuation-9.3.6.v20151106.jar b/embed-jetty/jetty-continuation-9.3.6.v20151106.jar deleted file mode 100644 index 8f788c6..0000000 --- a/embed-jetty/jetty-continuation-9.3.6.v20151106.jar +++ /dev/null Binary files differ diff --git a/embed-jetty/jetty-http-9.3.6.v20151106.jar b/embed-jetty/jetty-http-9.3.6.v20151106.jar deleted file mode 100644 index 867ab9c..0000000 --- a/embed-jetty/jetty-http-9.3.6.v20151106.jar +++ /dev/null Binary files differ diff --git a/embed-jetty/jetty-io-9.3.6.v20151106.jar b/embed-jetty/jetty-io-9.3.6.v20151106.jar deleted file mode 100644 index 50de7ef..0000000 --- a/embed-jetty/jetty-io-9.3.6.v20151106.jar +++ /dev/null Binary files differ diff --git a/embed-jetty/jetty-security-9.3.6.v20151106.jar b/embed-jetty/jetty-security-9.3.6.v20151106.jar deleted file mode 100644 index 992fc05..0000000 --- a/embed-jetty/jetty-security-9.3.6.v20151106.jar +++ /dev/null Binary files differ diff --git a/embed-jetty/jetty-server-9.3.6.v20151106.jar b/embed-jetty/jetty-server-9.3.6.v20151106.jar deleted file mode 100644 index 6311e29..0000000 --- a/embed-jetty/jetty-server-9.3.6.v20151106.jar +++ /dev/null Binary files differ diff --git a/embed-jetty/jetty-servlet-9.3.6.v20151106.jar b/embed-jetty/jetty-servlet-9.3.6.v20151106.jar deleted file mode 100644 index 9409f61..0000000 --- a/embed-jetty/jetty-servlet-9.3.6.v20151106.jar +++ /dev/null Binary files differ diff --git a/embed-jetty/jetty-util-9.3.6.v20151106.jar b/embed-jetty/jetty-util-9.3.6.v20151106.jar deleted file mode 100644 index 9a686b6..0000000 --- a/embed-jetty/jetty-util-9.3.6.v20151106.jar +++ /dev/null Binary files differ diff --git a/embed-jetty/jetty-webapp-9.3.6.v20151106.jar b/embed-jetty/jetty-webapp-9.3.6.v20151106.jar deleted file mode 100644 index 85d2ac6..0000000 --- a/embed-jetty/jetty-webapp-9.3.6.v20151106.jar +++ /dev/null Binary files differ diff --git a/embed-jetty/jetty-xml-9.3.6.v20151106.jar b/embed-jetty/jetty-xml-9.3.6.v20151106.jar deleted file mode 100644 index 15941e4..0000000 --- a/embed-jetty/jetty-xml-9.3.6.v20151106.jar +++ /dev/null Binary files differ diff --git a/embed-jetty/update.sh b/embed-jetty/update.sh deleted file mode 100755 index 7d1cfd7..0000000 --- a/embed-jetty/update.sh +++ /dev/null @@ -1,11 +0,0 @@ -#!/bin/bash -version=$1 -output_dir=`dirname $0` -git rm -f ${output_dir}/jetty-*.jar -for name in 'io' 'servlet' 'xml' 'continuation' 'security' 'util' 'http' 'server' 'webapp' -do - jar_filename="jetty-${name}-${version}.jar" - wget "http://repo1.maven.org/maven2/org/eclipse/jetty/jetty-${name}/${version}/${jar_filename}" -O ${output_dir}/${jar_filename} -done -git add ${output_dir}/*.jar -git commit diff --git a/release/build.xml b/release/build.xml deleted file mode 100644 index 8cce345..0000000 --- a/release/build.xml +++ /dev/null @@ -1,67 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/release/make-release-war.sh b/release/make-release-war.sh deleted file mode 100755 index 5a803e0..0000000 --- a/release/make-release-war.sh +++ /dev/null @@ -1,15 +0,0 @@ -#!/bin/sh -D="$(dirname "$0")" -D="$(cd "${D}"; pwd)" -DD="$(dirname "${D}")" -( - for f in "${D}/env.sh" "${D}/build.xml"; do - if [ ! -s "${f}" ]; then - echo >&2 "$0: Unable to access file '${f}'" - exit 1 - fi - done - . "${D}/env.sh" - cd "${DD}" - ant -f "${D}/build.xml" all -)