From c784102b7bdd41f6489ed29c351464614e4b21d2 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 5 Dec 2003 23:15:31 +0000 Subject: [PATCH] .. original commit: 773d728d1113fa35022eb0b1ba5a73cfe853c95e --- collects/help/help.ss | 15 ++++++++++----- 1 file changed, 10 insertions(+), 5 deletions(-) diff --git a/collects/help/help.ss b/collects/help/help.ss index 8cd42c70..a4ede5f9 100644 --- a/collects/help/help.ss +++ b/collects/help/help.ss @@ -5,11 +5,16 @@ (when install-cm? (printf "~a: installing compilation manager\n" cm-env-var) - (current-load/use-compiled - ((dynamic-require '(lib "cm.ss") 'make-compilation-manager-load/use-compiled-handler))) - (when cm-trace? - ((dynamic-require '(lib "cm.ss") 'manager-trace-handler) - (lambda (x) (display x) (newline))))) + (let-values ([(make-compilation-manager-load/use-compiled-handler + manager-trace-handller) + (parameterize ([current-namespace (make-namespace)]) + (values + (dynamic-require '(lib "cm.ss") 'make-compilation-manager-load/use-compiled-handler) + (dynamic-require '(lib "cm.ss") 'manager-trace-handler)))]) + (current-load/use-compiled (make-compilation-manager-load/use-compiled-handler)) + (when cm-trace? + (manager-trace-handler + (lambda (x) (display x) (newline)))))) ;; start help desk for real (dynamic-require '(lib "help-app-main.ss" "help" "private") #f)) \ No newline at end of file