From a50a96492f57288eb06e25c871267caeb541c8a8 Mon Sep 17 00:00:00 2001 From: Paulo Veiga Date: Sun, 12 Jan 2014 05:54:43 +0000 Subject: [PATCH] Fix jetty download. --- distribution/package-bin.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/distribution/package-bin.sh b/distribution/package-bin.sh index b1dd9321..97f4e87a 100755 --- a/distribution/package-bin.sh +++ b/distribution/package-bin.sh @@ -8,7 +8,7 @@ BASE_DIR=`pwd` TARGET_DIR=$BASE_DIR/target JETTY_DIR=$TARGET_DIR/wisemapping-$WISE_VERSION WISE_WEBAPP_DIR=$JETTY_DIR/webapps/wisemapping -JETTY_VERSION=8.1.8.v20121106 +JETTY_VERSION=8.1.14.v20131031 JETTY_DIST_DIR=jetty-distribution-${JETTY_VERSION} JETTY_ZIP=${JETTY_DIST_DIR}.zip