[tor-bugs] #16372 [Core Tor/Tor]: tor uses getaddrinfo even if DisableNetwork is set

[Tor Bug Tracker & Wiki]

#16372: tor uses getaddrinfo even if DisableNetwork is set
------------------------------------------+--------------------------------
 Reporter:  teor                          |          Owner:  (none)
     Type:  defect                        |         Status:  new
 Priority:  Low                           |      Milestone:  Tor:
                                          |  unspecified
Component:  Core Tor/Tor                  |        Version:  Tor:
                                          |  unspecified
 Severity:  Normal                        |     Resolution:
 Keywords:  tor-relay documentation easy  |  Actual Points:
Parent ID:  #16366                        |         Points:
 Reviewer:                                |        Sponsor:
------------------------------------------+--------------------------------

Comment (by teor):

 Tor options are documented in the tor man page, which is built from
 tor/doc/tor.1.txt

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