From 699309a9fac9d28b01bb79c4862a2fc8b344bb23 Mon Sep 17 00:00:00 2001 From: Tarjei Huse Date: Tue, 14 Feb 2012 11:03:56 +0100 Subject: [PATCH] Update Jetty Version --- 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 8d64e6c6..863e2d59 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_DIST_DIR=jetty-distribution-7.4.3.v20110701 +JETTY_DIST_DIR=jetty-distribution-7.6.0.v20120127 JETTY_ZIP=${JETTY_DIST_DIR}.zip # Clean ...