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