[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:  nickm
         Type:  defect   |     Status:  assigned
     Priority:  normal   |  Milestone:  Tor: 0.2.7.x-final
    Component:  Tor      |    Version:  Tor: 0.2.4.18-rc
   Resolution:           |   Keywords:  tor-client, 025-triaged,
Actual Points:           |  026-triaged-1
       Points:           |  Parent ID:
-------------------------+-------------------------------------------------
Changes (by nickm):

 * milestone:  Tor: 0.2.6.x-final => Tor: 0.2.7.x-final


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