[tor-bugs] #10461 [Tor]: tor seems to ignore "DirServer" option

[Tor Bug Tracker & Wiki]

#10461: tor seems to ignore "DirServer" option
------------------------+------------------------------
     Reporter:  mr-4    |      Owner:
         Type:  defect  |     Status:  new
     Priority:  normal  |  Milestone:
    Component:  Tor     |    Version:  Tor: 0.2.4.18-rc
   Resolution:          |   Keywords:
Actual Points:          |  Parent ID:
       Points:          |
------------------------+------------------------------

Comment (by nickm):

 Okay, I'll try to analyze the fallback one this week if I can get through
 enough other 0.2.4.x and 0.2.5.x tickets before the dev meeting next week.
 Thanks for the patience, thanks for the configurations, and sorry for the
 delays!

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