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