diff --git a/collects/handin-server/utils.ss b/collects/handin-server/utils.ss index d47ca30ee3..49e882fc88 100644 --- a/collects/handin-server/utils.ss +++ b/collects/handin-server/utils.ss @@ -167,7 +167,8 @@ (define (safe-eval expr . more) (parameterize ([current-security-guard tight-security] [current-input-port null-input] - [current-code-inspector (make-inspector)]) + ;; breaks: [current-code-inspector (make-inspector)] + ) (apply eval expr more))) ;; Execution ----------------------------------------