commit c3d9c42d0743e9a15c117ab778802fbf7afc3ff1 Author: Karsten Loesing karsten.loesing@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" />