From 76cad48393ec41dfabb3fc6b0457d47ca0685c8c Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 29 Aug 2007 20:34:17 +0000 Subject: [PATCH] fix sandbox for running in MrEd svn: r7213 --- collects/mzlib/sandbox.ss | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/collects/mzlib/sandbox.ss b/collects/mzlib/sandbox.ss index 938134bc12..78035a6559 100644 --- a/collects/mzlib/sandbox.ss +++ b/collects/mzlib/sandbox.ss @@ -368,7 +368,10 @@ (define current-eventspace (mz/mr (make-parameter #f) current-eventspace)) (define make-eventspace (mz/mr void make-eventspace)) (define run-in-bg (mz/mr thread queue-callback)) - (define bg-run->thread (mz/mr values eventspace-handler-thread)) + (define bg-run->thread (if mred? + (lambda (ignored) + ((mz/mr void eventspace-handler-thread) (current-eventspace))) + values)) (define null-input (open-input-bytes #"")) (define (kill-evaluator eval) (eval kill-evaluator))