[tor-bugs] #15775 [Tor]: Add IPv4 Fallback Directory List to add_default_fallback_dir_servers() (was: Add Fallback Directory List to add_default_fallback_dir_servers())

[Tor Bug Tracker & Wiki]

#15775: Add IPv4 Fallback Directory List to add_default_fallback_dir_servers()
-----------------------------+----------------------------------------
     Reporter:  teor         |      Owner:  teor
         Type:  enhancement  |     Status:  accepted
     Priority:  major        |  Milestone:  Tor: 0.2.7.x-final
    Component:  Tor          |    Version:  Tor: 0.2.4.7-alpha
   Resolution:               |   Keywords:  tor-dist, 027-triaged-1-in
Actual Points:               |  Parent ID:  #15228
       Points:               |
-----------------------------+----------------------------------------
Changes (by teor):

 * status:  needs_information => accepted
 * priority:  normal => major
 * owner:   => teor
 * milestone:  Tor: 0.2.8.x-final => Tor: 0.2.7.x-final
 * keywords:   => tor-dist, 027-triaged-1-in


Comment:

 Thanks, weasel.

 I am going to proceed with developing this with the following assumptions:
 * We don't want to include IPv6 fallback dirs until #6027 (IPv6 only
 bootstrap) is fixed
 * We want to distribute the sample output as a separate file, like the
 geoip files
   * This will need a new config option, say `FallbackDirFile`
   * We won't hardcode any FallbackDirs in strings in the tor binary (we
 hardcode the directory authorities in strings in the binaru)
 * We want the list of fallback directories to be the union of:
   * All `FallbackDir` lines in the `FallbackDirFile` file
   * All `FallbackDir` lines in the config file
   * With duplicates handled the way current FallbackDir duplicates are
 handled (ignored? not handled?)

 I assume we want this in 0.2.7 from the details in #15228 (which is for
 fallback directories generally), which I've just copied down to this
 ticket.

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