[tor-commits] [metrics-base/master] Add missing Jetty servlets dependency.

[karsten@xxxxxxxxxxxxxx]

commit d82fff984634fe006ac7b0b102e7f48a52ca20d9
Author: Karsten Loesing <karsten.loesing@xxxxxxx>
Date:   Mon Oct 14 16:30:13 2019 +0200

    Add missing Jetty servlets dependency.
    
    Fixes #32062.
---
 java/ivy.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/java/ivy.xml b/java/ivy.xml
index 19b2f4b..851c5d3 100644
--- a/java/ivy.xml
+++ b/java/ivy.xml
@@ -40,6 +40,7 @@
     <dependency org="org.eclipse.jetty" name="jetty-security" rev="9.2.21.v20170120" />
     <dependency org="org.eclipse.jetty" name="jetty-server" rev="9.2.21.v20170120" />
     <dependency org="org.eclipse.jetty" name="jetty-servlet" rev="9.2.21.v20170120" />
+    <dependency org="org.eclipse.jetty" name="jetty-servlets" rev="9.2.21.v20170120" />
     <dependency org="org.eclipse.jetty" name="jetty-util" rev="9.2.21.v20170120" />
     <dependency org="org.eclipse.jetty" name="jetty-webapp" rev="9.2.21.v20170120" />
     <dependency org="org.eclipse.jetty" name="jetty-xml" rev="9.2.21.v20170120" />

_______________________________________________
tor-commits mailing list
tor-commits@xxxxxxxxxxxxxxxxxxxx
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-commits