Upgrade Jetty to 9.4.12.v20180830
Change-Id: I742b813cb198583977fbed420d5553bb56cd2d8d
diff --git a/WORKSPACE b/WORKSPACE
index c1a13ff..924ee29 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -233,46 +233,46 @@
sha1 = "6975da39a7040257bd51d21a231b76c915872d38",
)
-JETTY_VERSION = "9.3.18.v20170406"
+JETTY_VERSION = "9.4.12.v20180830"
maven_jar(
name = "servlet",
artifact = "org.eclipse.jetty:jetty-servlet:" + JETTY_VERSION,
- sha1 = "534e7fa0e4fb6e08f89eb3f6a8c48b4f81ff5738",
+ sha1 = "4c1149328eda9fa39a274262042420f66d9ffd5f",
)
maven_jar(
name = "security",
artifact = "org.eclipse.jetty:jetty-security:" + JETTY_VERSION,
- sha1 = "16b900e91b04511f42b706c925c8af6023d2c05e",
+ sha1 = "299e0602a9c0b753ba232cc1c1dda72ddd9addcf",
)
maven_jar(
name = "server",
artifact = "org.eclipse.jetty:jetty-server:" + JETTY_VERSION,
- sha1 = "0a32feea88cba2d43951d22b60861c643454bb3f",
+ sha1 = "b0f25df0d32a445fd07d5f16fff1411c16b888fa",
)
maven_jar(
name = "continuation",
artifact = "org.eclipse.jetty:jetty-continuation:" + JETTY_VERSION,
- sha1 = "3c5d89c8204d4a48a360087f95e4cbd4520b5de0",
+ sha1 = "5f6d6e06f95088a3a7118b9065bc49ce7c014b75",
)
maven_jar(
name = "http",
artifact = "org.eclipse.jetty:jetty-http:" + JETTY_VERSION,
- sha1 = "30ece6d732d276442d513b94d914de6fa1075fae",
+ sha1 = "1341796dde4e16df69bca83f3e87688ba2e7d703",
)
maven_jar(
name = "io",
artifact = "org.eclipse.jetty:jetty-io:" + JETTY_VERSION,
- sha1 = "36cb411ee89be1b527b0c10747aa3153267fc3ec",
+ sha1 = "e93f5adaa35a9a6a85ba130f589c5305c6ecc9e3",
)
maven_jar(
name = "util",
artifact = "org.eclipse.jetty:jetty-util:" + JETTY_VERSION,
- sha1 = "8600b7d028a38cb462eff338de91390b3ff5040e",
+ sha1 = "cb4ccec9bd1fe4b10a04a0fb25d7053c1050188a",
)