[tor-bugs] #9971 [Tor]: for_discovery option in add_an_entry_guard() is confusingly named

[Tor Bug Tracker & Wiki]

#9971: for_discovery option in add_an_entry_guard() is confusingly named
------------------------+--------------------------------------
     Reporter:  arma    |      Owner:
         Type:  defect  |     Status:  new
     Priority:  minor   |  Milestone:  Tor: 0.2.???
    Component:  Tor     |    Version:
   Resolution:          |   Keywords:  tor-client easy refactor
Actual Points:          |  Parent ID:
       Points:          |
------------------------+--------------------------------------

Comment (by merge):

 I proposed appropriate changes on tor-dev:
 https://lists.torproject.org/pipermail/tor-dev/2014-June/007059.html

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