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