From 88a6f81a502e9ff1b9db1fe7bc0c613a58db3419 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Wed, 7 Dec 2005 00:52:33 +0000 Subject: [PATCH] use an empty input port for all evaluations svn: r1547 --- collects/handin-server/utils.ss | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/handin-server/utils.ss b/collects/handin-server/utils.ss index 5f8e24851d..22dfab4611 100644 --- a/collects/handin-server/utils.ss +++ b/collects/handin-server/utils.ss @@ -163,8 +163,10 @@ (error what "file access denied (~a)" path))) (lambda (what host port mode) (error what "network access denied")))) + (define null-input (open-input-string "")) (define (safe-eval expr . more) - (parameterize ([current-security-guard tight-security]) + (parameterize ([current-security-guard tight-security] + [current-input-port null-input]) (apply eval expr more))) ;; Execution ----------------------------------------