fix sandbox settings (global, not local to first thread)
svn: r7515
This commit is contained in:
parent
acaaf27d78
commit
233d148a56
|
@ -13,7 +13,12 @@
|
|||
"private/run-status.ss"
|
||||
"private/reloadable.ss"
|
||||
"private/hooker.ss"
|
||||
"web-status-server.ss")
|
||||
"web-status-server.ss"
|
||||
;; this sets some global parameter values, and this needs
|
||||
;; to be done in the main thread, rather than later in a
|
||||
;; user session thread (that will make the global changes
|
||||
;; not to be global.)
|
||||
"sandbox.ss")
|
||||
|
||||
(install-logger-port)
|
||||
|
||||
|
|
|
@ -7,6 +7,9 @@
|
|||
(sandbox-output #f)
|
||||
(sandbox-error-output #f)
|
||||
|
||||
;; no limits -- the handin server uses per-session limits
|
||||
(sandbox-eval-limits #f)
|
||||
|
||||
;; share these with evaluators
|
||||
(sandbox-namespace-specs
|
||||
(let ([specs (sandbox-namespace-specs)])
|
||||
|
|
Loading…
Reference in New Issue
Block a user