[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:  closed
 Priority:  Medium                               |      Milestone:  Tor:
                                                 |  unspecified
Component:  Core Tor/Tor                         |        Version:  Tor:
                                                 |  0.2.4.18-rc
 Severity:  Normal                               |     Resolution:  fixed
 Keywords:  tor-client, 025-triaged,             |  Actual Points:
  026-triaged-1, 027-triaged-1-out,              |
  tor-03-unspecified-201612                      |
Parent ID:                                       |         Points:
 Reviewer:                                       |        Sponsor:
-------------------------------------------------+-------------------------
Changes (by teor):

 * status:  assigned => closed
 * resolution:   => fixed


Comment:

 Replying to [comment:16 arma]:
 > 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?

 Yes, we fixed these issues in 0.2.8.1-alpha, when we introduced fallback
 directories.

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