From c525acbad4cdd4765ab1b1f4c9ca8b52984ecc8e Mon Sep 17 00:00:00 2001
From: Paulo Veiga <pveiga@wisemapping.com>
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