From e2a460e2d94c723f9d2ea491213212dfa5df5a07 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Sat, 14 Apr 2007 05:48:40 +0000 Subject: [PATCH] more memory svn: r5936 --- collects/mzlib/sandbox.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/mzlib/sandbox.ss b/collects/mzlib/sandbox.ss index 2c63cfdeb2..b951a2af35 100644 --- a/collects/mzlib/sandbox.ss +++ b/collects/mzlib/sandbox.ss @@ -42,7 +42,7 @@ (define sandbox-input (make-parameter #f)) (define sandbox-output (make-parameter #f)) (define sandbox-error-output (make-parameter current-error-port)) - (define sandbox-eval-limits (make-parameter '(30 10))) ; 30sec, 10mb + (define sandbox-eval-limits (make-parameter '(30 20))) ; 30sec, 20mb (define sandbox-coverage-enabled (make-parameter #f)) (define sandbox-namespace-specs