[tor-bugs] #9801 [Tor]: options_act thinks options have changed that haven't

[Tor Bug Tracker & Wiki]

#9801: options_act thinks options have changed that haven't
-----------------------------+-------------------------------
     Reporter:  cypherpunks  |      Owner:
         Type:  defect       |     Status:  needs_information
     Priority:  normal       |  Milestone:  Tor: 0.2.???
    Component:  Tor          |    Version:  Tor: 0.2.4.17-rc
   Resolution:               |   Keywords:  tor-client
Actual Points:               |  Parent ID:
       Points:               |
-----------------------------+-------------------------------

Comment (by nickm):

 I just tried that a few times with current git master and it didn't work
 for me. Maybe I was picking the wrong CCs or guards?  Maybe I need to wait
 longer or do more activity before I sighup?

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