suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

more fixes

Browse Source 
svn: r8722
This commit is contained in:
Eli Barzilay 2008-02-19 13:25:23 +00:00
parent d5f3d8e440
commit 87dd133746
2 changed files with 22 additions and 24 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
collects/handin-server/sandbox.ss
View File

@ -1,6 +1,6 @@
(module sandbox mzscheme #lang scheme/base
(require (lib "sandbox.ss")) (require scheme/sandbox)
(provide (all-from (lib "sandbox.ss"))) (provide (all-from-out scheme/sandbox))
;; no input/output ;; no input/output
(sandbox-input #f) (sandbox-input #f)
@ -15,12 +15,10 @@
(let ([specs (sandbox-namespace-specs)]) (let ([specs (sandbox-namespace-specs)])
`(,(car specs) `(,(car specs)
,@(cdr specs) ,@(cdr specs)
(lib "posn.ss" "lang") lang/posn
,@(if mred? '((lib "cache-image-snip.ss" "mrlib")) '())))) ,@(if gui? '(mrlib/cache-image-snip) '()))))
;; local overrides ;; local overrides
(sandbox-override-collection-paths (sandbox-override-collection-paths
(cons (build-path (collection-path "handin-server") "overridden-collects") (cons (build-path (collection-path "handin-server") "overridden-collects")
(sandbox-override-collection-paths))) (sandbox-override-collection-paths)))
)

4
collects/handin-server/scribblings/handin-server.scrbl
View File

@ -27,11 +27,11 @@
@section{Handin-Server and Client} @section{Handin-Server and Client}
The @scheme[handin-server] directory contains a server to be run by a The @filepath[handin-server] directory contains a server to be run by a
course instructor for accepting homework assignments and reporting on course instructor for accepting homework assignments and reporting on
submitted assignments. submitted assignments.
The @scheme[handin-client] directory contains a client to be The @filepath[handin-client] directory contains a client to be
customized then re-distributed to students in the course. The customized then re-distributed to students in the course. The
customized client will embed a particular hostname and port where the customized client will embed a particular hostname and port where the
server is running, as well as a server certificate. server is running, as well as a server certificate.