Use trusted sandbox for Performance Report.

Solves permission problems.
2012-02-09 14:46:18 -05:00 · 2012-02-09 14:46:18 -05:00 · 0452a5983f
commit 0452a5983f
parent 8080669dd9
1 changed files with 1 additions and 5 deletions
--- a/collects/typed-racket/optimizer/tool/report.rkt
+++ b/collects/typed-racket/optimizer/tool/report.rkt
@ -59,11 +59,7 @@
          [else ; different file
           #f]))
  (define log '())
-  (define sandbox
-    (parameterize ([sandbox-make-code-inspector current-code-inspector]
-                   [sandbox-eval-limits         #f])
-      (make-evaluator 'racket/base)))
-  (call-in-sandbox-context sandbox
+  (call-with-trusted-sandbox-configuration
   (lambda ()
     (with-intercepted-tr-logging
      (lambda (l)