[or-cvs] [metrics-web/master] Add ExoneraTor and VisiTor releases to Tools page.

[karsten@xxxxxxxxxxxxxx]

Author: Karsten Loesing <karsten.loesing@xxxxxxx>
Date: Thu, 23 Sep 2010 16:13:29 +0200
Subject: Add ExoneraTor and VisiTor releases to Tools page.
Commit: 469253311191928b1b4edb5f5c1a23e761743233

---
 war/WEB-INF/templates/research_tools.tpl.jsp |    6 ++++++
 war/WEB-INF/web.xml                          |    4 ++++
 2 files changed, 10 insertions(+), 0 deletions(-)

diff --git a/war/WEB-INF/templates/research_tools.tpl.jsp b/war/WEB-INF/templates/research_tools.tpl.jsp
index 4f427fe..c42dfdc 100644
--- a/war/WEB-INF/templates/research_tools.tpl.jsp
+++ b/war/WEB-INF/templates/research_tools.tpl.jsp
@@ -107,6 +107,9 @@
         functionality. There is also a web version of
         <a href="/exonerator.html">ExoneraTor</a> available.</p>
         <ul>
+          <li>Download
+          <a href="dist/exonerator-0.0.1.tar">ExoneraTor 0.0.1</a>
+          (<a href="dist/exonerator-0.0.1.tar.asc">sig</a>)
           <li>Browse the <a href="https://gitweb.torproject.org/metrics-utils.git/tree/HEAD:/exonerator";>Git repository</a>
           <li><tt>git clone git://git.torproject.org/metrics-utils</tt></li>
         </ul>
@@ -118,6 +121,9 @@
         list archives to tell how many of the requests come from Tor
         users.</p>
         <ul>
+          <li>Download
+          <a href="dist/visitor-0.0.2.tar">VisiTor 0.0.2</a>
+          (<a href="dist/visitor-0.0.2.tar.asc">sig</a>)
           <li>Browse the <a href="https://gitweb.torproject.org/metrics-utils.git/tree/HEAD:/visitor";>Git repository</a></li>
           <li><tt>git clone git://git.torproject.org/metrics-utils</tt></li>
         </ul>
diff --git a/war/WEB-INF/web.xml b/war/WEB-INF/web.xml
index 29ae38d..e8768dd 100644
--- a/war/WEB-INF/web.xml
+++ b/war/WEB-INF/web.xml
@@ -147,6 +147,10 @@
   </servlet-mapping>
   <servlet-mapping>
     <servlet-name>ErnieGeneratedFile</servlet-name>
+    <url-pattern>/dist/*</url-pattern>
+  </servlet-mapping>
+  <servlet-mapping>
+    <servlet-name>ErnieGeneratedFile</servlet-name>
     <url-pattern>/data/*</url-pattern>
   </servlet-mapping>
 </web-app>
-- 
1.7.1