Re: [tor-bugs] #19751 [Metrics/Onionoo]: switch to newer jetty in onionoo

2017-02-08 Thread Tor Bug Tracker & Wiki
#19751: switch to newer jetty in onionoo -+- Reporter: iwakeh | Owner: iwakeh Type: enhancement | Status: closed Priority: Low | Milestone: Component: Metrics/Onionoo |

Re: [tor-bugs] #19751 [Metrics/Onionoo]: switch to newer jetty in onionoo

2017-02-03 Thread Tor Bug Tracker & Wiki
#19751: switch to newer jetty in onionoo -+--- Reporter: iwakeh | Owner: iwakeh Type: enhancement | Status: needs_information Priority: Low | Milestone: Component:

[tor-bugs] #19751 [Metrics/Onionoo]: switch to newer jetty in onionoo

2016-07-25 Thread Tor Bug Tracker & Wiki
#19751: switch to newer jetty in onionoo -+- Reporter: iwakeh | Owner: Type: enhancement | Status: new Priority: Low | Milestone: Component: Metrics/Onionoo |Version: