diff options
| author | David Barksdale <amatus@amatus.name> | 2013-08-12 08:32:20 -0500 |
|---|---|---|
| committer | David Barksdale <amatus@amatus.name> | 2013-08-12 08:32:20 -0500 |
| commit | 58e914086c0ba1406d0f64b1651e44faa9b3e878 (patch) | |
| tree | d0e7472c58a90a3055d3b0420bb851ed00cf8619 /debian/patches/update-default-hostlist-servers.patch | |
| parent | e43bba166bacd18399c777510498aebe3f39b252 (diff) | |
Update the default hostlist severs.for-bertrand
Signed-off-by: David Barksdale <amatus@amatus.name>
Diffstat (limited to 'debian/patches/update-default-hostlist-servers.patch')
| -rw-r--r-- | debian/patches/update-default-hostlist-servers.patch | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/debian/patches/update-default-hostlist-servers.patch b/debian/patches/update-default-hostlist-servers.patch new file mode 100644 index 0000000..d54988a --- /dev/null +++ b/debian/patches/update-default-hostlist-servers.patch @@ -0,0 +1,14 @@ +Hostlist servers are run by volunteers and need to be updated from +time to time. Since 0.9.5a was released in February 2013 the list +of active servers has changed. +--- a/src/hostlist/hostlist.conf ++++ b/src/hostlist/hostlist.conf +@@ -6,7 +6,7 @@ + BINARY = gnunet-daemon-hostlist + # consider having "-e" as default as well once implemented + OPTIONS = -b +-SERVERS = http://gnunet.org/hostlist http://ioerror.gnunet.org:65535/ ++SERVERS = http://v9.gnunet.org:58080/ + # proxy for downloading hostlists + HTTP-PROXY = + # bind hostlist http server to a specific IPv4 or IPv6 |