[tor-bugs] #31950 [Metrics/Cloud]: Use longer timeout for op-hk pings

2019-10-03 Thread Tor Bug Tracker & Wiki
#31950: Use longer timeout for op-hk pings ---+-- Reporter: irl| Owner: metrics-team Type: defect | Status: new Priority: Medium | Milestone: Component: Metrics/Cloud |Version

Re: [tor-bugs] #31950 [Metrics/Cloud]: Use longer timeout for op-hk pings

2020-01-22 Thread Tor Bug Tracker & Wiki
#31950: Use longer timeout for op-hk pings ---+-- Reporter: irl| Owner: metrics-team Type: defect | Status: new Priority: High | Milestone: Component: Metrics/Cloud |Version

Re: [tor-bugs] #31950 [Metrics/Cloud]: Use longer timeout for op-hk pings

2020-04-06 Thread Tor Bug Tracker & Wiki
#31950: Use longer timeout for op-hk pings +-- Reporter: irl | Owner: metrics-team Type: defect | Status: new Priority: High