[metrics-bugs] #21427 [Metrics/Onionoo]: allow to filter for tor_version

[Tor Bug Tracker & Wiki]

#21427: allow to filter for tor_version
-----------------------------+------------------------------
 Reporter:  cypherpunks      |          Owner:  metrics-team
     Type:  enhancement      |         Status:  needs_review
 Priority:  Medium           |      Milestone:
Component:  Metrics/Onionoo  |        Version:
 Severity:  Normal           |     Resolution:
 Keywords:                   |  Actual Points:
Parent ID:                   |         Points:
 Reviewer:                   |        Sponsor:
-----------------------------+------------------------------
Changes (by karsten):

 * status:  new => needs_review


Comment:

 There, I implemented a simple version of this in
 [https://gitweb.torproject.org/user/karsten/onionoo.git/commit/?h=task-21427&id=f997929c6a588599ca46f1e5681a411d7aa69cbf
 my task-21427 branch], which would probably be specified on the website as
 follows:

 {{{
 diff --git a/website/src/main/resources/web/WEB-INF/onionoo.jsp
 b/website/src/main/resources/web/WEB-INF/onionoo.jsp
 index 3fa4c5e..8ea310a 100644
 --- a/website/src/main/resources/web/WEB-INF/onionoo.jsp
 +++ b/website/src/main/resources/web/WEB-INF/onionoo.jsp
 @@ -472,6 +472,16 @@ a family.
  </p>
  </li>

 +<li>
 +<b>version <span class="label label-primary">new</span></b>
 +<p>
 +Return only relays running a Tor version that starts with the
 +parameter value <i>without</i> leading <code>"Tor"</code>.
 +Searchers are case-insensitive.
 +<span class="blue">Added on August 8, 2017.</span>
 +</p>
 +</li>
 +
  </ul>

  <p>
 }}}

 Still untested (except for unit tests), and subject to change if we decide
 to implement some of the extensions suggested above.

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/21427#comment:1>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online