[tor-bugs] #10519 [Tor]: tor uses default IP for dirport instead of the one defined in DirPort (was: tor uses default IP for dirport progagating instead of if the one defined in DirPort)

[Tor Bug Tracker & Wiki]

#10519: tor uses default IP for dirport instead of  the one defined in DirPort
-------------------------+--------------------------------
     Reporter:  torland  |      Owner:
         Type:  defect   |     Status:  new
     Priority:  normal   |  Milestone:  Tor: 0.2.4.x-final
    Component:  Tor      |    Version:  Tor: 0.2.4.18-rc
   Resolution:           |   Keywords:
Actual Points:           |  Parent ID:
       Points:           |
-------------------------+--------------------------------

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