[tor-bugs] #17745 [Tor]: Replace DirPort_set with dir_server_mode

[Tor Bug Tracker & Wiki]

#17745: Replace DirPort_set with dir_server_mode
-----------------------------+--------------------------------
     Reporter:  teor         |      Owner:
         Type:  enhancement  |     Status:  new
     Priority:  Medium       |  Milestone:  Tor: 0.2.8.x-final
    Component:  Tor          |    Version:
     Severity:  Normal       |   Keywords:
Actual Points:               |  Parent ID:  #4483
       Points:               |    Sponsor:
-----------------------------+--------------------------------
 #12538 replaces most uses of DirPort_set with dir_server_mode, #4483 adds
 another use of DirPort_set.

 I don't know what order they'll merge to master, if #12538 merges first,
 we'll need to replace the DirPort_set in #4483 with dir_server_mode.

 (There might be commit conflicts due to these changes.)

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