diff --git a/collects/handin-server/utils.ss b/collects/handin-server/utils.ss index 22dfab4611..d47ca30ee3 100644 --- a/collects/handin-server/utils.ss +++ b/collects/handin-server/utils.ss @@ -166,7 +166,8 @@ (define null-input (open-input-string "")) (define (safe-eval expr . more) (parameterize ([current-security-guard tight-security] - [current-input-port null-input]) + [current-input-port null-input] + [current-code-inspector (make-inspector)]) (apply eval expr more))) ;; Execution ----------------------------------------