Merge pull request #670 from seratch/fixes-for-minor-updates

More fixes for #669
2026-01-05 23:30:02 +01:00 · 2015-03-24 15:21:39 +09:00
parent 284b8e7c16 f605a8d085
commit 1341ef9c52
18 changed files with 12 additions and 1 deletions
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,3 +1,3 @@
 language: scala
 scala:
-  - 2.11.2
+  - 2.11.6
--- a/embed-jetty/jetty-continuation-8.1.16.v20140903.jar
+++ b/embed-jetty/jetty-continuation-8.1.16.v20140903.jar
--- a/embed-jetty/jetty-http-8.1.16.v20140903.jar
+++ b/embed-jetty/jetty-http-8.1.16.v20140903.jar
--- a/embed-jetty/jetty-http-8.1.8.v20121106.jar
+++ b/embed-jetty/jetty-http-8.1.8.v20121106.jar
--- a/embed-jetty/jetty-io-8.1.16.v20140903.jar
+++ b/embed-jetty/jetty-io-8.1.16.v20140903.jar
--- a/embed-jetty/jetty-io-8.1.8.v20121106.jar
+++ b/embed-jetty/jetty-io-8.1.8.v20121106.jar
--- a/embed-jetty/jetty-security-8.1.16.v20140903.jar
+++ b/embed-jetty/jetty-security-8.1.16.v20140903.jar
--- a/embed-jetty/jetty-server-8.1.16.v20140903.jar
+++ b/embed-jetty/jetty-server-8.1.16.v20140903.jar
--- a/embed-jetty/jetty-server-8.1.8.v20121106.jar
+++ b/embed-jetty/jetty-server-8.1.8.v20121106.jar
--- a/embed-jetty/jetty-servlet-8.1.16.v20140903.jar
+++ b/embed-jetty/jetty-servlet-8.1.16.v20140903.jar
--- a/embed-jetty/jetty-servlet-8.1.8.v20121106.jar
+++ b/embed-jetty/jetty-servlet-8.1.8.v20121106.jar
--- a/embed-jetty/jetty-util-8.1.16.v20140903.jar
+++ b/embed-jetty/jetty-util-8.1.16.v20140903.jar
--- a/embed-jetty/jetty-util-8.1.8.v20121106.jar
+++ b/embed-jetty/jetty-util-8.1.8.v20121106.jar
--- a/embed-jetty/jetty-webapp-8.1.16.v20140903.jar
+++ b/embed-jetty/jetty-webapp-8.1.16.v20140903.jar
--- a/embed-jetty/jetty-webapp-8.1.8.v20121106.jar
+++ b/embed-jetty/jetty-webapp-8.1.8.v20121106.jar
--- a/embed-jetty/jetty-xml-8.1.16.v20140903.jar
+++ b/embed-jetty/jetty-xml-8.1.16.v20140903.jar
--- a/embed-jetty/jetty-xml-8.1.8.v20121106.jar
+++ b/embed-jetty/jetty-xml-8.1.8.v20121106.jar
--- a/embed-jetty/update.sh
+++ 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