diff --git a/.travis.yml b/.travis.yml index 0cfd95d..4c9cbea 100644 --- a/.travis.yml +++ b/.travis.yml @@ -1,3 +1,3 @@ language: scala scala: - - 2.11.2 \ No newline at end of file + - 2.11.6 diff --git a/embed-jetty/jetty-continuation-8.1.16.v20140903.jar b/embed-jetty/jetty-continuation-8.1.16.v20140903.jar new file mode 100644 index 0000000..ce1acb1 --- /dev/null +++ b/embed-jetty/jetty-continuation-8.1.16.v20140903.jar Binary files differ diff --git a/embed-jetty/jetty-continuation-8.1.8.v20121106.jar b/embed-jetty/jetty-continuation-8.1.8.v20121106.jar deleted file mode 100644 index 1f3f59c..0000000 --- a/embed-jetty/jetty-continuation-8.1.8.v20121106.jar +++ /dev/null Binary files differ diff --git a/embed-jetty/jetty-http-8.1.16.v20140903.jar b/embed-jetty/jetty-http-8.1.16.v20140903.jar new file mode 100644 index 0000000..30189c7 --- /dev/null +++ b/embed-jetty/jetty-http-8.1.16.v20140903.jar Binary files differ diff --git a/embed-jetty/jetty-http-8.1.8.v20121106.jar b/embed-jetty/jetty-http-8.1.8.v20121106.jar deleted file mode 100644 index 80a2ba7..0000000 --- a/embed-jetty/jetty-http-8.1.8.v20121106.jar +++ /dev/null Binary files differ diff --git a/embed-jetty/jetty-io-8.1.16.v20140903.jar b/embed-jetty/jetty-io-8.1.16.v20140903.jar new file mode 100644 index 0000000..a9afd7c --- /dev/null +++ b/embed-jetty/jetty-io-8.1.16.v20140903.jar Binary files differ diff --git a/embed-jetty/jetty-io-8.1.8.v20121106.jar b/embed-jetty/jetty-io-8.1.8.v20121106.jar deleted file mode 100644 index 21d1d67..0000000 --- a/embed-jetty/jetty-io-8.1.8.v20121106.jar +++ /dev/null Binary files differ diff --git a/embed-jetty/jetty-security-8.1.16.v20140903.jar b/embed-jetty/jetty-security-8.1.16.v20140903.jar new file mode 100644 index 0000000..e5bde43 --- /dev/null +++ b/embed-jetty/jetty-security-8.1.16.v20140903.jar Binary files differ diff --git a/embed-jetty/jetty-security-8.1.8.v20121106.jar b/embed-jetty/jetty-security-8.1.8.v20121106.jar deleted file mode 100644 index aac3f19..0000000 --- a/embed-jetty/jetty-security-8.1.8.v20121106.jar +++ /dev/null Binary files differ diff --git a/embed-jetty/jetty-server-8.1.16.v20140903.jar b/embed-jetty/jetty-server-8.1.16.v20140903.jar new file mode 100644 index 0000000..ae8ac55 --- /dev/null +++ b/embed-jetty/jetty-server-8.1.16.v20140903.jar Binary files differ diff --git a/embed-jetty/jetty-server-8.1.8.v20121106.jar b/embed-jetty/jetty-server-8.1.8.v20121106.jar deleted file mode 100644 index b21842e..0000000 --- a/embed-jetty/jetty-server-8.1.8.v20121106.jar +++ /dev/null Binary files differ diff --git a/embed-jetty/jetty-servlet-8.1.16.v20140903.jar b/embed-jetty/jetty-servlet-8.1.16.v20140903.jar new file mode 100644 index 0000000..eb2fa57 --- /dev/null +++ b/embed-jetty/jetty-servlet-8.1.16.v20140903.jar Binary files differ diff --git a/embed-jetty/jetty-servlet-8.1.8.v20121106.jar b/embed-jetty/jetty-servlet-8.1.8.v20121106.jar deleted file mode 100644 index df9583f..0000000 --- a/embed-jetty/jetty-servlet-8.1.8.v20121106.jar +++ /dev/null Binary files differ diff --git a/embed-jetty/jetty-util-8.1.16.v20140903.jar b/embed-jetty/jetty-util-8.1.16.v20140903.jar new file mode 100644 index 0000000..5c3c346 --- /dev/null +++ b/embed-jetty/jetty-util-8.1.16.v20140903.jar Binary files differ diff --git a/embed-jetty/jetty-util-8.1.8.v20121106.jar b/embed-jetty/jetty-util-8.1.8.v20121106.jar deleted file mode 100644 index 18c2270..0000000 --- a/embed-jetty/jetty-util-8.1.8.v20121106.jar +++ /dev/null Binary files differ diff --git a/embed-jetty/jetty-webapp-8.1.16.v20140903.jar b/embed-jetty/jetty-webapp-8.1.16.v20140903.jar new file mode 100644 index 0000000..85fd7e0 --- /dev/null +++ b/embed-jetty/jetty-webapp-8.1.16.v20140903.jar Binary files differ diff --git a/embed-jetty/jetty-webapp-8.1.8.v20121106.jar b/embed-jetty/jetty-webapp-8.1.8.v20121106.jar deleted file mode 100644 index 23d18ab..0000000 --- a/embed-jetty/jetty-webapp-8.1.8.v20121106.jar +++ /dev/null Binary files differ diff --git a/embed-jetty/jetty-xml-8.1.16.v20140903.jar b/embed-jetty/jetty-xml-8.1.16.v20140903.jar new file mode 100644 index 0000000..1e485de --- /dev/null +++ b/embed-jetty/jetty-xml-8.1.16.v20140903.jar Binary files differ diff --git a/embed-jetty/jetty-xml-8.1.8.v20121106.jar b/embed-jetty/jetty-xml-8.1.8.v20121106.jar deleted file mode 100644 index f8daf47..0000000 --- a/embed-jetty/jetty-xml-8.1.8.v20121106.jar +++ /dev/null Binary files differ diff --git a/embed-jetty/update.sh b/embed-jetty/update.sh new file mode 100755 index 0000000..7d1cfd7 --- /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