[tor-bugs] #5207 [Ooni]: ooni-probe should only set UseMicrodescriptors 0 if Tor understands that option

[Tor Bug Tracker & Wiki]

#5207: ooni-probe should only set UseMicrodescriptors 0 if Tor understands that
option
---------------------+------------------------------------------------------
 Reporter:  karsten  |          Owner:  hellais
     Type:  defect   |         Status:  new    
 Priority:  normal   |      Milestone:         
Component:  Ooni     |        Version:         
 Keywords:           |         Parent:  #5028  
   Points:           |   Actualpoints:         
---------------------+------------------------------------------------------
 I'm running ooni-probe with Tor 0.2.2.x which doesn't understand
 UseMicrodescriptors 0.  Maybe ooni-probe could check Tor's version and
 either set that option or not.

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