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

new thread breaking in sandbox, improved with-limits to use call-in-nested-thread

Browse Source 
svn: r7124

original commit: 2e636a54f125c14bea4ba7a32c5b7d50708af987
This commit is contained in:
Eli Barzilay 2007-08-19 23:45:08 +00:00
parent 3b074c7dad
commit 8f9c92b506
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/mzlib/sandbox.ss
View File

@ -8,6 +8,7 @@
sandbox-input
sandbox-output
sandbox-error-output
sandbox-propagate-breaks
sandbox-coverage-enabled
sandbox-namespace-specs
sandbox-override-collection-paths
@ -44,6 +45,7 @@
(define sandbox-output (make-parameter #f))
(define sandbox-error-output (make-parameter current-error-port))
(define sandbox-eval-limits (make-parameter '(30 20))) ; 30sec, 20mb
(define sandbox-propagate-breaks (make-parameter #t))
(define sandbox-coverage-enabled (make-parameter #f))
(define sandbox-namespace-specs
@ -429,7 +431,9 @@
(let ([r (if user-thread
(begin (channel-put input-ch expr)
(let loop ()
(with-handlers ([exn:break?
(with-handlers ([(lambda (e)
(and (sandbox-propagate-breaks)
(exn:break? e)))
(lambda (e)
(user-break)
(loop))])