X-Git-Url: https://code.wpia.club/?p=gigi.git;a=blobdiff_plain;f=doc%2Fscripts%2FgetJetty.sh;h=784a6f1cb9f8a38c191689890801b1516cca7ba2;hp=cbec36691e84bacaf622003f6a76970166c13c9e;hb=065ca60170f2471227dc25784e1a4c3b7912d367;hpb=ad7a401ad98da5a8a33e60d39789e941aa8ccfc4

diff --git a/doc/scripts/getJetty.sh b/doc/scripts/getJetty.sh
index cbec3669..784a6f1c 100644
--- a/doc/scripts/getJetty.sh
+++ b/doc/scripts/getJetty.sh
@@ -1,4 +1,5 @@
 #!/bin/sh
+set -e
 JETTY=C:/jars/jetty-distribution-9.1.0.RC0/org.eclipse.jetty.project
 
 pushd ../../lib/jetty/org/eclipse/jetty
@@ -6,7 +7,7 @@ rm -fR *
 
 pushd $JETTY
 
-git checkout refs/tags/jetty-9.2.1.v20140609
+git checkout refs/tags/jetty-9.2.16.v20160407
 popd