From 8c239a63700e9cda0637975704784b9eda1eec1c Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sun, 21 Jul 2013 19:54:59 -0600 Subject: [PATCH] fix sandbox permissions on "links.rktd" files --- pkgs/sandbox-lib/racket/sandbox.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/pkgs/sandbox-lib/racket/sandbox.rkt b/pkgs/sandbox-lib/racket/sandbox.rkt index 3952a1d8a0..42fe5287bd 100644 --- a/pkgs/sandbox-lib/racket/sandbox.rkt +++ b/pkgs/sandbox-lib/racket/sandbox.rkt @@ -941,7 +941,8 @@ (exists ,(find-system-path 'addon-dir)) (read ,(build-path (find-system-path 'addon-dir) "links.rktd")) (read ,(build-path (find-system-path 'addon-dir) (version) "links.rktd")) - (read ,(build-path (find-config-dir) "links.rktd")) + ,@(for/list ([f (get-links-search-files)]) + `(read ,f)) (read ,(find-lib-dir)) ,@(compute-permissions allow-for-require allow-for-load) ,@(sandbox-path-permissions))]