From d797e18abce23e5c98a87692ee8951dd425cb910 Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@racket-lang.org>
Date: Mon, 5 Jan 2009 01:43:36 +0000
Subject: [PATCH] https port fix and clarifications

svn: r13005
---
 collects/handin-server/scribblings/quick-start.scrbl  |  2 +-
 collects/handin-server/scribblings/server-setup.scrbl | 10 ++++++----
 2 files changed, 7 insertions(+), 5 deletions(-)

diff --git a/collects/handin-server/scribblings/quick-start.scrbl b/collects/handin-server/scribblings/quick-start.scrbl
index dc522b882e..a4361fee96 100644
--- a/collects/handin-server/scribblings/quick-start.scrbl
+++ b/collects/handin-server/scribblings/quick-start.scrbl
@@ -27,7 +27,7 @@
 
 @item{Create a file @filepath{config.ss} with the following content:
   @schemeblock[((active-dirs ("test"))
-                (https-port-number 9780))]}
+                (https-port-number 7980))]}
 
 @item{In your new directory, run @commandline{mred-text -l handin-server}}
 
diff --git a/collects/handin-server/scribblings/server-setup.scrbl b/collects/handin-server/scribblings/server-setup.scrbl
index 90429b0d91..6f68ba9964 100644
--- a/collects/handin-server/scribblings/server-setup.scrbl
+++ b/collects/handin-server/scribblings/server-setup.scrbl
@@ -469,8 +469,11 @@ limited to one whenever possible.  When multiple assignments are
 active, design a checker to help ensure that the student has selected
 the correct assignment in the handin dialog.
 
-A student can download his/her own submissions through a web server
-that runs concurrently with the handin server.  The starting URL is
+A student can download his/her own submissions through the handin
+dialog.  This can also be done through a web server that runs
+concurrently with the handin server if you use the
+@scheme[https-port-number] option in the configuration file.  The
+starting URL is
 
 @commandline{https://SERVER:PORT/}
 
@@ -478,5 +481,4 @@ to obtain a list of all assignments, or
 
 @commandline{https://SERVER:PORT/?handin=ASSIGNMENT}
 
-to start with a specific assignment (named ASSIGNMENT).  The default
-PORT is 7980.
+to start with a specific assignment (named ASSIGNMENT).