[tor-bugs] #3833 [Tor Client]: Maybe microdescriptor on/off toggle should require Tor restart?

[Tor Bug Tracker & Wiki]

#3833: Maybe microdescriptor on/off toggle should require Tor restart?
------------------------+---------------------------------------------------
 Reporter:  Sebastian   |          Owner:                    
     Type:  defect      |         Status:  new               
 Priority:  normal      |      Milestone:  Tor: 0.2.3.x-final
Component:  Tor Client  |        Version:                    
 Keywords:              |         Parent:                    
   Points:              |   Actualpoints:                    
------------------------+---------------------------------------------------
 Currently it is ok to change usemicrodescriptors via a config change. We
 should probably disallow that, as there are some indications that this
 doesn't work well: When debugging #3832, katmagic noticed that disabling
 microdescriptors didn't fix the issue, but disabling microdescriptors and
 then restarting did.

 We could also try hard(er) to separate the two states. But I'd think
 that's hardly worth it, unless we need it for something else.

 Happy to write the patch if a decision is made

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