diff --git a/collects/mzlib/sandbox.ss b/collects/mzlib/sandbox.ss index 6aa661fbd5..15d625c446 100644 --- a/collects/mzlib/sandbox.ss +++ b/collects/mzlib/sandbox.ss @@ -536,6 +536,8 @@ (current-library-collection-paths)) require-perms (sandbox-path-permissions))] + ;; general info + [current-command-line-arguments '#()] ;; restrict the sandbox context from this point [current-security-guard (sandbox-security-guard)] [exit-handler (lambda x (error 'exit "user code cannot exit"))]