diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-05-29 16:35:34 +0200 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-05-29 16:36:30 +0200 |
| commit | 425ef3c908a0336d69f1ac406f9090c3c4041b41 (patch) | |
| tree | a7840384cc43363e0a88010a443923b68641632a | |
| parent | 2f3e46815c1a89cef68bce537f04c2632d9370c8 (diff) | |
Prolog runner: allow call/1 in sandboxed mode
Required by some exercises. This allows the user to escape the sandbox,
so a better solution is needed.
| -rw-r--r-- | prolog/runner/sandbox.pl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/prolog/runner/sandbox.pl b/prolog/runner/sandbox.pl index 99cb490..997a571 100644 --- a/prolog/runner/sandbox.pl +++ b/prolog/runner/sandbox.pl @@ -1,5 +1,9 @@ :- multifile sandbox:safe_primitive/1. +% needed for algol problems +% TODO find a better way +sandbox:safe_primitive(call(_)). + % safe_primitive declarations for library(clpr) (by Gašper Škulj) sandbox:safe_primitive(bb_r:bb_inf(_,_,_)). sandbox:safe_primitive(bb_r:bb_inf(_,_,_,_,_)). |