https port fix and clarifications
svn: r13005
This commit is contained in:
parent
821a82195e
commit
d797e18abc
|
@ -27,7 +27,7 @@
|
||||||
|
|
||||||
@item{Create a file @filepath{config.ss} with the following content:
|
@item{Create a file @filepath{config.ss} with the following content:
|
||||||
@schemeblock[((active-dirs ("test"))
|
@schemeblock[((active-dirs ("test"))
|
||||||
(https-port-number 9780))]}
|
(https-port-number 7980))]}
|
||||||
|
|
||||||
@item{In your new directory, run @commandline{mred-text -l handin-server}}
|
@item{In your new directory, run @commandline{mred-text -l handin-server}}
|
||||||
|
|
||||||
|
|
|
@ -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
|
active, design a checker to help ensure that the student has selected
|
||||||
the correct assignment in the handin dialog.
|
the correct assignment in the handin dialog.
|
||||||
|
|
||||||
A student can download his/her own submissions through a web server
|
A student can download his/her own submissions through the handin
|
||||||
that runs concurrently with the handin server. The starting URL is
|
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/}
|
@commandline{https://SERVER:PORT/}
|
||||||
|
|
||||||
|
@ -478,5 +481,4 @@ to obtain a list of all assignments, or
|
||||||
|
|
||||||
@commandline{https://SERVER:PORT/?handin=ASSIGNMENT}
|
@commandline{https://SERVER:PORT/?handin=ASSIGNMENT}
|
||||||
|
|
||||||
to start with a specific assignment (named ASSIGNMENT). The default
|
to start with a specific assignment (named ASSIGNMENT).
|
||||||
PORT is 7980.
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user