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 /scripts/deploy/codeq_refresh_and_deploy.sh | |
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.
Diffstat (limited to 'scripts/deploy/codeq_refresh_and_deploy.sh')
0 files changed, 0 insertions, 0 deletions