commit c784102b7bdd41f6489ed29c351464614e4b21d2 parent c66068df3951db6de74d0ea4ccb586c17ff7baa1 Author: Robby Findler <robby@racket-lang.org> Date: Fri, 5 Dec 2003 23:15:31 +0000 .. original commit: 773d728d1113fa35022eb0b1ba5a73cfe853c95e Diffstat:
| M | collects/help/help.ss | | | 15 | ++++++++++----- |
1 file changed, 10 insertions(+), 5 deletions(-)
diff --git 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