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

[karsten at torproject.org]

commit d82fff984634fe006ac7b0b102e7f48a52ca20d9
Author: Karsten Loesing <karsten.loesing at gmx.net>
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" />