Merge branch 'libs/jetty/upstream' into libs/jetty/local
[gigi.git] / doc / scripts / getJetty.sh
1 #!/bin/sh
2 set -e
3 JETTY=C:/jars/jetty-distribution-9.1.0.RC0/org.eclipse.jetty.project
4
5 pushd ../../lib/jetty/org/eclipse/jetty
6 rm -fR *
7
8 pushd $JETTY
9
10 git checkout refs/tags/jetty-9.2.16.v20160407
11 popd
12
13
14 for package in http io security server servlet util
15 do
16     cp -R $JETTY/jetty-$package/src/main/java/org/eclipse/jetty/$package .
17 done
18
19 cp -R $JETTY/jetty-http/src/main/resources/org/eclipse/jetty/http .
20
21
22
23 cp -R $JETTY/jetty-$package/src/main/java/org/eclipse/jetty/$package .
24
25 rm -R server/session/jmx
26 rm -R server/handler/jmx
27 rm -R server/jmx
28 rm -R servlet/jmx
29
30 rm util/log/JettyAwareLogger.java
31 rm util/log/Slf4jLog.java
32 rm server/Slf4jRequestLog.java
33 popd