From 58e914086c0ba1406d0f64b1651e44faa9b3e878 Mon Sep 17 00:00:00 2001 From: David Barksdale Date: Mon, 12 Aug 2013 08:32:20 -0500 Subject: Update the default hostlist severs. Signed-off-by: David Barksdale --- debian/patches/series | 1 + debian/patches/update-default-hostlist-servers.patch | 14 ++++++++++++++ 2 files changed, 15 insertions(+) create mode 100644 debian/patches/series create mode 100644 debian/patches/update-default-hostlist-servers.patch 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 -- cgit v1.2.3-18-g5258