Re: [tor-bugs] #19284 [Metrics/metrics-lib]: Parse "tunnelled-dir-server" line in server descriptors

2016-07-05 Thread Tor Bug Tracker & Wiki
#19284: Parse "tunnelled-dir-server" line in server descriptors -+- Reporter: karsten | Owner: karsten Type: enhancement | Status: closed Priority: Medium | Milestone: C

Re: [tor-bugs] #19284 [Metrics/metrics-lib]: Parse "tunnelled-dir-server" line in server descriptors

2016-07-05 Thread Tor Bug Tracker & Wiki
#19284: Parse "tunnelled-dir-server" line in server descriptors -+- Reporter: karsten | Owner: karsten Type: enhancement | Status: merge_ready Priority: Medium | Milesto

Re: [tor-bugs] #19284 [Metrics/metrics-lib]: Parse "tunnelled-dir-server" line in server descriptors

2016-07-05 Thread Tor Bug Tracker & Wiki
#19284: Parse "tunnelled-dir-server" line in server descriptors -+- Reporter: karsten | Owner: karsten Type: enhancement | Status: merge_ready Priority: Medium | Milesto

Re: [tor-bugs] #19284 [Metrics/metrics-lib]: Parse "tunnelled-dir-server" line in server descriptors

2016-07-05 Thread Tor Bug Tracker & Wiki
#19284: Parse "tunnelled-dir-server" line in server descriptors -+-- Reporter: karsten | Owner: karsten Type: enhancement | Status: needs_review Priority: Medium | Miles

Re: [tor-bugs] #19284 [Metrics/metrics-lib]: Parse "tunnelled-dir-server" line in server descriptors

2016-06-12 Thread Tor Bug Tracker & Wiki
#19284: Parse "tunnelled-dir-server" line in server descriptors -+- Reporter: karsten | Owner: karsten Type: enhancement | Status: new Priority: Medium | Milestone: Componen

[tor-bugs] #19284 [Metrics/metrics-lib]: Parse "tunnelled-dir-server" line in server descriptors

2016-06-06 Thread Tor Bug Tracker & Wiki
#19284: Parse "tunnelled-dir-server" line in server descriptors -+- Reporter: karsten | Owner: karsten Type: enhancement | Status: new Priority: Medium | Milestone: Comp