Bug#866341: ben: Please use deb.debian.org as the default mirror

[James Clarke <jrtc27@debian.org>]

Package: ben
Version: 0.7.4
Tags: patch

Hi,
Currently, ben defaults to using httpredir.debian.org as the default
mirror, which is now deprecated and redirects to deb.debian.org. Please
use deb.debian.org directly; patch attached.

Regards,
James

>From 96c8db6a97e7d88405999c661bb281f351985fe8 Mon Sep 17 00:00:00 2001
From: James Clarke <jrtc27@debian.org>
Date: Wed, 28 Jun 2017 23:50:56 +0100
Subject: [PATCH] Use deb.debian.org rather than httpredir.debian.org as the
 default mirror

---
 examples/download/unstable.ben | 2 +-
 examples/tracker/global.conf   | 2 +-
 lib/benl_clflags.ml            | 4 ++--
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/examples/download/unstable.ben b/examples/download/unstable.ben
index e065568..54ee1b3 100644
--- a/examples/download/unstable.ben
+++ b/examples/download/unstable.ben
@@ -3,7 +3,7 @@
 # Run with "ben download -c unstable.ben", and it will download Sources and
 # Packages for listed architectures into current directory.
 
-mirror = "http://httpredir.debian.org/debian";;
+mirror = "http://deb.debian.org/debian";;
 suite = "unstable";
 areas = [ "main"; "contrib"; "non-free" ];
 
diff --git a/examples/tracker/global.conf b/examples/tracker/global.conf
index 6f3ac66..4d668b9 100644
--- a/examples/tracker/global.conf
+++ b/examples/tracker/global.conf
@@ -52,4 +52,4 @@ use-projectb = true;
 # - mirror sets both mirror-binaries and mirror-sources to the same mirror
 # These options are (obviously) not taken into account if use-projectb is
 # set to true.
-mirror = "http://httpredir.debian.org/debian";;
+mirror = "http://deb.debian.org/debian";;
diff --git a/lib/benl_clflags.ml b/lib/benl_clflags.ml
index 7bce6c2..29085e1 100644
--- a/lib/benl_clflags.ml
+++ b/lib/benl_clflags.ml
@@ -33,8 +33,8 @@ let cache_file = ref "ben.cache"
 let use_cache = ref false
 let use_benrc = ref true
 let media_dir = ref (get_env_default "BEN_MEDIA_DIR" "/usr/share/ben/media")
-let mirror_binaries = ref "http://httpredir.debian.org/debian";
-let mirror_sources = ref "http://httpredir.debian.org/debian";
+let mirror_binaries = ref "http://deb.debian.org/debian";
+let mirror_sources = ref "http://deb.debian.org/debian";
 let mirror = mirror_binaries
 let suite = ref "unstable"
 let areas = ref ["main"; "contrib"; "non-free"]
-- 
2.13.2