[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):

 DirServer is an obsolete name for the option currently called
 "DirAuthority".  (We changed the name because the old one was confusing.)
 It's used to replace the directory authorities that you believe in.  You
 probably shouldn't use it unless you're running your own private Tor
 network.  Is there some legacy documentation out there that tells people
 about the DirServer option but doesn't explain what it does well?  If so,
 we should fix that.

 If you want to change which directory servers Tor uses when it doesn't
 know any directory servers or doesn't have a live consensus, that's the
 FallbackDir option.

 Otherwise, directory requests are made to one of your guard nodes, as
 determined by the UseEntryGuardsAsDirectoryGuards option.

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