[tor-bugs] #10461 [Core Tor/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:
 Priority:  Medium                               |  assigned
Component:  Core Tor/Tor                         |      Milestone:  Tor:
 Severity:  Normal                               |  0.2.???
 Keywords:  tor-client, 025-triaged,             |        Version:  Tor:
  026-triaged-1, 027-triaged-1-out               |  0.2.4.18-rc
Parent ID:                                       |     Resolution:
 Reviewer:                                       |  Actual Points:
                                                 |         Points:
                                                 |        Sponsor:
-------------------------------------------------+-------------------------
Changes (by arma):

 * severity:   => Normal


Comment:

 What a mess of a ticket. It looks like the original poster was
 misunderstanding or trying to misuse the dirserver syntax? And then it
 morphed into something about fallbackdirs? Do you think any of the recent
 work on fallbackdirs has resolved whatever those issues were?

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