From 8dde1e2c69655cbb7bf35c227acea76fa7d7c9a8 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 29 Jan 2007 01:57:48 +0000 Subject: [PATCH] bugfix svn: r5491 --- collects/handin-server/sandbox.ss | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/collects/handin-server/sandbox.ss b/collects/handin-server/sandbox.ss index abfb39f565..6a1abcd073 100644 --- a/collects/handin-server/sandbox.ss +++ b/collects/handin-server/sandbox.ss @@ -136,11 +136,12 @@ (if (module-path-index? x) (let-values ([(m base) (module-path-index-split x)]) (lib? m)) (and (pair? x) (eq? 'lib (car x))))) - (let loop ([todo (map (lambda (mod) - (if (lib? mod) - '() - (simplify-path* (resolve-module-path mod #f)))) - mods)] + (let loop ([todo (filter values + (map (lambda (mod) + (and (not (lib? mod)) + (simplify-path* + (resolve-module-path mod #f)))) + mods))] [r '()]) (cond [(null? todo) r]