From 0dfca67442814ddcfb561cb1f9d635774b39c8cd Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Thu, 18 Sep 2008 16:28:25 +0000 Subject: [PATCH] clarify https-port-number in the quickstart section svn: r11803 --- collects/handin-server/scribblings/quick-start.scrbl | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/collects/handin-server/scribblings/quick-start.scrbl b/collects/handin-server/scribblings/quick-start.scrbl index 6ecb27b65a..9d0e8855cd 100644 --- a/collects/handin-server/scribblings/quick-start.scrbl +++ b/collects/handin-server/scribblings/quick-start.scrbl @@ -26,7 +26,8 @@ @item{Make a @filepath{test} subdirectory in your new directory.} @item{Create a file @filepath{config.ss} with the following content: - @schemeblock[((active-dirs ("test")))]} + @schemeblock[((active-dirs ("test")) + (https-port-number 9780))]} @item{In your new directory, run @commandline{mred -l handin-server}} @@ -51,5 +52,9 @@ @item{Check the status of your submission by pointing a web browser at @tt{https://localhost:7980/servlets/status.ss}. Note the ``s'' in ``https''. Use the ``@tt{tester}'' username and ``@tt{pw}'' - password, as before.} + password, as before. + + NOTE: The @scheme[https-port-number] line in the + @filepath{config.ss} file enables the embedded secure server. You + can remove it if you don't want it.} ]