Update handin-server docs.
This commit is contained in:
parent
96a9bdfbc4
commit
0aab34154a
|
@ -602,7 +602,7 @@
|
|||
(lambda (x)
|
||||
(set! no-limit-warning? #t)
|
||||
(log-line "WARNING: per-session memory limit ~a"
|
||||
"not supported by MrEd"))])
|
||||
"not supported by GRacket"))])
|
||||
(custodian-limit-memory
|
||||
session-cust (get-conf 'session-memory-limit) session-cust)))
|
||||
(let ([watcher (parameterize ([current-custodian orig-custodian])
|
||||
|
|
|
@ -1,12 +1,12 @@
|
|||
This directory is used (by default) as a first root for searching
|
||||
collections when evaluating user code. This means that PLT libraries
|
||||
that appear here will be used instead of ones in the PLT tree or the
|
||||
collections when evaluating user code. This means that Racket libraries
|
||||
that appear here will be used instead of ones in the Racket tree or the
|
||||
user-local collections. Use it to override collections that are safe
|
||||
for testing, for example -- avoid using actual gui. See also the
|
||||
for testing, for example -- avoid using real GUI. See also the
|
||||
documentation for `sandbox-override-collection-paths' in "doc.txt".
|
||||
|
||||
This is currently used with the `teachpack' collection. Note that
|
||||
mzscheme resolved collection directories based on toplevel names only,
|
||||
Racket resolves collection directories based on toplevel names only,
|
||||
which means that if we actually use `teachpack' for the directory
|
||||
name, then files that are not here will not be searched in the usual
|
||||
plt tree. Because of this the collection is called `fake-teachpack',
|
||||
|
|
|
@ -36,7 +36,7 @@ keywords to customize features that you want it to have. The body of
|
|||
the checker (following the keywords) can contain arbitrary code, using
|
||||
utility functions from @schememodname[handin-server/utils], as well as
|
||||
additional ones that are defined below. Submission files are arriving
|
||||
to the handin server in binary form (in the MrEd format that is used
|
||||
to the handin server in binary form (in the GRacket format that is used
|
||||
to store text and other objects like images), and a number of these
|
||||
options involve genrating a textual version of this file. The purpose
|
||||
of these options is to have these text files integrate easily into a
|
||||
|
@ -127,7 +127,7 @@ Keywords for configuring @scheme[check:]:
|
|||
@filepath{hw.scm}. (The suffix changes the defaults of
|
||||
@scheme[:markup-prefix] and @scheme[:prefix-re].) Can be
|
||||
@scheme[#f] for removing the original file after processing. The
|
||||
file is always stored in MrEd's binary format.}
|
||||
file is always stored in GRacket's binary format.}
|
||||
|
||||
@item{@indexed-scheme[:multi-file]---by default, this is set to
|
||||
@scheme[#f], which means that only DrScheme is used to send
|
||||
|
|
|
@ -28,7 +28,8 @@
|
|||
@item{Create a file @filepath{config.ss} with the following content:
|
||||
@schemeblock[((active-dirs ("test")))]}
|
||||
|
||||
@item{In your new directory, run @commandline{mred-text -l handin-server}}
|
||||
@item{In your new directory, run
|
||||
@commandline{gracket-text -l handin-server}}
|
||||
|
||||
@item{In the @filepath{handin-client} collection, edit
|
||||
@filepath{info.ss} and uncomment the lines that define
|
||||
|
|
|
@ -53,8 +53,8 @@ This directory contains the following files and sub-directories:
|
|||
|
||||
@item{@indexed-scheme[session-memory-limit] --- maximum size in
|
||||
bytes of memory allowed for per-session computation, if
|
||||
per-session limits are supported (i.e., when using MrEd and
|
||||
MzScheme with the (default) exact garbage collector and memory
|
||||
per-session limits are supported (i.e., when using GRacket and
|
||||
Racket with the (default) exact garbage collector and memory
|
||||
accounting); the default is 40000000.}
|
||||
|
||||
@item{@indexed-scheme[default-file-name] --- the default filename
|
||||
|
@ -437,10 +437,10 @@ This directory contains the following files and sub-directories:
|
|||
will be listed and accessible.}
|
||||
]
|
||||
|
||||
The server can be run within either MzScheme or MrEd, but
|
||||
@schememodname[handin-server/utils] requires MrEd (which means that
|
||||
The server can be run within either Racket or GRacket, but
|
||||
@schememodname[handin-server/utils] requires GRacket (which means that
|
||||
@scheme[checker] modules will likely require the server to run under
|
||||
MrEd). Remember that if you're not using the (default) 3m garbage
|
||||
GRacket). Remember that if you're not using the (default) 3m garbage
|
||||
collector you don't get memory accounting.
|
||||
|
||||
The server currently provides no mechanism for a graceful shutdown,
|
||||
|
|
|
@ -5,7 +5,7 @@
|
|||
|
||||
If you obtained the server and client by installing a @filepath{.plt}
|
||||
file, then the @filepath{handin-server} and @filepath{handin-client}
|
||||
directories might be in your PLT addon space. Start MzScheme, and
|
||||
directories might be in your PLT addon space. Start Racket, and
|
||||
enter @schemeblock[(collection-path "handin-server")]
|
||||
@schemeblock[(collection-path "handin-client")] to find out where
|
||||
these collections are.
|
||||
|
|
Loading…
Reference in New Issue
Block a user