From e5a39eeee032379381803fd232bbb3ae68447776 Mon Sep 17 00:00:00 2001 From: Jacob Matthews Date: Thu, 1 Feb 2007 02:49:27 +0000 Subject: [PATCH] . svn: r5528 --- collects/planet/config.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/planet/config.ss b/collects/planet/config.ss index 77d3592e86..422f200d78 100644 --- a/collects/planet/config.ss +++ b/collects/planet/config.ss @@ -19,6 +19,6 @@ (DEFAULT-PACKAGE-LANGUAGE (version)) (USE-HTTP-DOWNLOADS? #t) - (HTTP-DOWNLOAD-SERVLET-URL "http://planet.plt-scheme.org/servlets/planet-servlet.ss") + (HTTP-DOWNLOAD-SERVLET-URL "http://coach.cs.uchicago.edu/servlets/planet/planet-servlet.ss") (PLANET-ARCHIVE-FILTER #f)))