From 1ecaecbd9977f4c7e34cf2fe06df35101a126623 Mon Sep 17 00:00:00 2001 From: Jacob Matthews Date: Thu, 1 Feb 2007 02:57:01 +0000 Subject: [PATCH] make a line to uncomment to switch to coach svn: r5529 --- collects/planet/config.ss | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/planet/config.ss b/collects/planet/config.ss index 422f200d78..2fa40dfa84 100644 --- a/collects/planet/config.ss +++ b/collects/planet/config.ss @@ -19,6 +19,7 @@ (DEFAULT-PACKAGE-LANGUAGE (version)) (USE-HTTP-DOWNLOADS? #t) - (HTTP-DOWNLOAD-SERVLET-URL "http://coach.cs.uchicago.edu/servlets/planet/planet-servlet.ss") + (HTTP-DOWNLOAD-SERVLET-URL "http://planet.plt-scheme.org/servlets/planet-servlet.ss" + #;"http://coach.cs.uchicago.edu/servlets/planet/planet-servlet.ss") (PLANET-ARCHIVE-FILTER #f)))