From e0f7a7a3c615f4e4370e741e013b2c011e6abc5b Mon Sep 17 00:00:00 2001
From: Kazuhiro Sera <seratch@gmail.com>
Date: Tue, 24 Mar 2015 12:54:28 +0900
Subject: [PATCH] Add a script to update embed-jetty jars

---
 embed-jetty/update.sh | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100755 embed-jetty/update.sh

diff --git a/embed-jetty/update.sh b/embed-jetty/update.sh
new file mode 100755
index 000000000..7d1cfd741
--- /dev/null
+++ b/embed-jetty/update.sh
@@ -0,0 +1,11 @@
+#!/bin/bash
+version=$1
+output_dir=`dirname $0`
+git rm -f ${output_dir}/jetty-*.jar
+for name in 'io' 'servlet' 'xml' 'continuation' 'security' 'util' 'http' 'server' 'webapp'
+do
+  jar_filename="jetty-${name}-${version}.jar"
+  wget "http://repo1.maven.org/maven2/org/eclipse/jetty/jetty-${name}/${version}/${jar_filename}" -O ${output_dir}/${jar_filename}
+done
+git add ${output_dir}/*.jar
+git commit