Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to 'WORKSPACE')
-rw-r--r--WORKSPACE50
1 files changed, 50 insertions, 0 deletions
diff --git a/WORKSPACE b/WORKSPACE
index 3551c1ae01..bcfc4f685d 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -34,6 +34,12 @@ maven_jar(
)
maven_jar(
+ name = "commons_codec",
+ artifact = "commons-codec:commons-codec:1.4",
+ sha1 = "4216af16d38465bbab0f3dff8efa14204f7a399a",
+)
+
+maven_jar(
name = "commons_logging",
artifact = "commons-logging:commons-logging:1.1.3",
sha1 = "f6f66e966c70a83ffbdb6f17a0919eaf7c8aca7f",
@@ -98,3 +104,47 @@ maven_jar(
artifact = "com.google.code.gson:gson:2.2.4",
sha1 = "a60a5e993c98c864010053cb901b7eab25306568",
)
+
+JETTY_VER = "9.4.1.v20170120"
+
+maven_jar(
+ name = "jetty_servlet",
+ artifact = "org.eclipse.jetty:jetty-servlet:" + JETTY_VER,
+ sha1 = "406a6edc22311629b41e98ab26901574d243d408",
+ src_sha1 = "57cf143c4110e0d43635406a1052013bbf29a4da",
+)
+
+maven_jar(
+ name = "jetty_security",
+ artifact = "org.eclipse.jetty:jetty-security:" + JETTY_VER,
+ sha1 = "677aa94298f42d322e2f19045693a233613537b6",
+ src_sha1 = "933928163506a8d366652fb895e770fcf3f9e8fe",
+)
+
+maven_jar(
+ name = "jetty_server",
+ artifact = "org.eclipse.jetty:jetty-server:" + JETTY_VER,
+ sha1 = "4cf4bea26592de98b9126ac60bc91fb669176a63",
+ src_sha1 = "2035ab117da534f9a525adfaa9f3a5634d202707",
+)
+
+maven_jar(
+ name = "jetty_http",
+ artifact = "org.eclipse.jetty:jetty-http:" + JETTY_VER,
+ sha1 = "c9c9d5b15b3bb41ae9ae588b7aede301b42186f6",
+ src_sha1 = "f1cbf0e1329ed722bf8eba74e4c4b94619dfe8a8",
+)
+
+maven_jar(
+ name = "jetty_io",
+ artifact = "org.eclipse.jetty:jetty-io:" + JETTY_VER,
+ sha1 = "6d2d7c82a4b5306ec7bf2d6eb4b67460fce77240",
+ src_sha1 = "404b560a0d289c904b72d02e2dbb3b9ad73db219",
+)
+
+maven_jar(
+ name = "jetty_util",
+ artifact = "org.eclipse.jetty:jetty-util:" + JETTY_VER,
+ sha1 = "810c4e4275e399feaf6e8bc51aa72645bdc06205",
+ src_sha1 = "b0dea459e5646e9ccf250a236718d720fba7717c",
+)

Back to the top