From 425ef3c908a0336d69f1ac406f9090c3c4041b41 Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Sun, 29 May 2016 16:35:34 +0200 Subject: 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. --- prolog/runner/sandbox.pl | 4 ++++ 1 file changed, 4 insertions(+) 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(_,_,_,_,_)). -- cgit v1.2.1