From 6d3560f75774f25f9ec20080145b173eca6852bb Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Sat, 8 Apr 2006 20:45:30 +0000 Subject: [PATCH] allowing MrED primitives svn: r2645 --- collects/web-server/configuration.ss | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/collects/web-server/configuration.ss b/collects/web-server/configuration.ss index 9dea338871..4d4ace9686 100644 --- a/collects/web-server/configuration.ss +++ b/collects/web-server/configuration.ss @@ -107,7 +107,8 @@ ;; allow people (SamTH) to use MrEd primitives from servlets. ;; GregP: putting mred.ss here is a bad idea because it will cause ;; web-server-text to have a dependency on mred - ;(lib "mred.ss" "mred") + ;; JM: We get around it by only doing it if the module is already attached. + (lib "mred.ss" "mred") (lib "servlet.ss" "web-server"))) @@ -134,7 +135,9 @@ (let ([server-namespace (current-namespace)] [new-namespace (make-namespace)]) (parameterize ([current-namespace new-namespace]) - (for-each (lambda (name) (namespace-attach-module server-namespace name)) + (for-each (lambda (name) + (with-handlers ([exn? void]) + (namespace-attach-module server-namespace name))) to-be-copied-module-names) new-namespace)))