From d3d6c5b9f74aa0a8d14725ba5d8bfe409b2f2338 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 original commit: e2a460e2d94c723f9d2ea491213212dfa5df5a07 --- 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 2c63cfd..b951a2a 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