[tor-commits] [metrics-web/release] Fix links on CollecTor page, again.

[karsten at torproject.org]

commit c3d9c42d0743e9a15c117ab778802fbf7afc3ff1
Author: Karsten Loesing <karsten.loesing at gmx.net>
Date:   Wed Aug 21 08:33:05 2019 +0200

    Fix links on CollecTor page, again.
    
    Include metrics-lib-*-thin.jar rather than metrics-lib-*.jar.
    
    Re-closes #24792.
---
 build.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index d8c0c07..038a82f 100644
--- a/build.xml
+++ b/build.xml
@@ -83,7 +83,7 @@
     <include name="jetty-plus${jetty.version}.jar"/>
     <include name="jetty-jndi${jetty.version}.jar"/>
     <include name="apache-jsp${jetty.version}.jar" />
-    <include name="metrics-lib-${metricslibversion}.jar"/>
+    <include name="metrics-lib-${metricslibversion}-thin.jar"/>
     <include name="taglibs-standard-spec-1.2.5.jar"/>
     <include name="tomcat-embed-jasper-8.5.14.jar" />
     <include name="tomcat-embed-el-8.5.14.jar" />