diff options
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/patches/series | 1 | ||||
| -rw-r--r-- | debian/patches/update-default-hostlist-servers.patch | 14 |
2 files changed, 15 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series new file mode 100644 index 0000000..312f04b --- /dev/null +++ b/debian/patches/series @@ -0,0 +1 @@ +update-default-hostlist-servers.patch 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 |