From b0f3f034122465bc7c115b3776ad400a68d690d1 Mon Sep 17 00:00:00 2001
From: Jay McCarthy <jay@racket-lang.org>
Date: Tue, 8 Jan 2013 07:42:42 -0700
Subject: [PATCH] Removing exotic ports for PNRs

---
 collects/meta/planet2-index/official/main.rkt | 2 +-
 collects/planet2/lib.rkt                      | 4 ++--
 collects/planet2/scribblings/planet2.scrbl    | 6 +++---
 collects/tests/planet2/tests-config.rkt       | 2 +-
 4 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/collects/meta/planet2-index/official/main.rkt b/collects/meta/planet2-index/official/main.rkt
index cf46fd7c3f..f083dc1532 100644
--- a/collects/meta/planet2-index/official/main.rkt
+++ b/collects/meta/planet2-index/official/main.rkt
@@ -322,7 +322,7 @@
          empty empty
          (list "Someone tried to register your email address for an account on Planet2. If you want to authorize this registration and log in, please click the following link:"
                ""
-               (format "https://plt-etc.byu.edu:9004~a" k-url)
+               (format "https://pnr.plt-etc.byu.edu~a" k-url)
                ""
                "This link will expire, so if it is not available, you'll have to try to register again."))
         (template
diff --git a/collects/planet2/lib.rkt b/collects/planet2/lib.rkt
index a155d2f700..2075e1dc86 100644
--- a/collects/planet2/lib.rkt
+++ b/collects/planet2/lib.rkt
@@ -207,8 +207,8 @@
             (λ ()
               (match k
                 ["indexes"
-                 (list "https://plt-etc.byu.edu:9004"
-                       "https://plt-etc.byu.edu:9003")]))))
+                 (list "https://pnr.plt-etc.byu.edu"
+                       "https://planet-compat.plt-etc.byu.edu")]))))
 
 (define (package-index-lookup pkg)
   (or
diff --git a/collects/planet2/scribblings/planet2.scrbl b/collects/planet2/scribblings/planet2.scrbl
index 8d13c6866e..f38ed6b916 100644
--- a/collects/planet2/scribblings/planet2.scrbl
+++ b/collects/planet2/scribblings/planet2.scrbl
@@ -192,8 +192,8 @@ the @tech{package source} string and @racket['checksum] mapped to the
 @racket['source] will be a remote URL.
 
 PLT supports two @tech{package name resolvers} that are enabled by
-default: @url{https://plt-etc.byu.edu:9004} for new
-packages and @url{https://plt-etc.byu.edu:9003} for
+default: @url{https://pnr.plt-etc.byu.edu} for new
+packages and @url{https://planet-compat.plt-etc.byu.edu} for
 automatically generated packages for old @|PLaneT|
 packages. Anyone may host their own @tech{package name resolver}. The
 source for the PLT-hosted resolvers is in the
@@ -507,7 +507,7 @@ it by a simple name until it is listed on a @tech{package name resolver}.
 
 If you'd like to use the official @tech{package name resolver}, browse
 to
-@link["https://plt-etc.byu.edu:9004/manage/upload"]{https://plt-etc.byu.edu:9004/manage/upload}
+@link["https://pnr.plt-etc.byu.edu/manage/upload"]{https://pnr.plt-etc.byu.edu/manage/upload}
 and upload a new package. You will need to create an account and log
 in first.
 
diff --git a/collects/tests/planet2/tests-config.rkt b/collects/tests/planet2/tests-config.rkt
index 089eff18ea..8b8bfee565 100644
--- a/collects/tests/planet2/tests-config.rkt
+++ b/collects/tests/planet2/tests-config.rkt
@@ -6,6 +6,6 @@
  (with-fake-root
   (shelly-case
    "reading and writing configs"
-   $ "raco pkg config indexes" =stdout> "https://plt-etc.byu.edu:9004\nhttps://plt-etc.byu.edu:9003\n"
+   $ "raco pkg config indexes" =stdout> "https://pnr.plt-etc.byu.edu\nhttps://planet-compat.plt-etc.byu.edu\n"
    $ "raco pkg config --set indexes http://localhost:9000"
    $ "raco pkg config indexes" =stdout> "http://localhost:9000\n")))