From e0275b95ba7a31cc908633174869988f2fe3a5b2 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Sun, 8 Jan 2012 03:31:50 -0500 Subject: [PATCH] Drop Infogroep mirror. (Keeps timing out.) --- collects/meta/web/download/data.rkt | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/collects/meta/web/download/data.rkt b/collects/meta/web/download/data.rkt index 68c387016f..57a6b90ba3 100644 --- a/collects/meta/web/download/data.rkt +++ b/collects/meta/web/download/data.rkt @@ -62,14 +62,15 @@ "http://mirror.informatik.uni-tuebingen.de/mirror/racket/" "Marcus Crestani" "crestani@informatik.uni-tuebingen.de"] - ["Belgium (Infogroep, Vrije Universiteit Brussel)" - "ftp://infogroep.be/pub/racket/installers/" - "Infogroep" - "research@infogroep.be"] ["Turkey, Istanbul (Bilgi University)" "http://russell.cs.bilgi.edu.tr/racket-installers/" "Onur Gungor" "onurgu@cs.bilgi.edu.tr"] + #; ; Unreliable, timeouts very frequently + ["Belgium (Infogroep, Vrije Universiteit Brussel)" + "ftp://infogroep.be/pub/racket/installers/" + "Infogroep" + "research@infogroep.be"] #; ["Austria (Vienna University of Technology)" "http://gd.tuwien.ac.at/languages/scheme/plt/"