ada/code_examples_server
0
0
Fork 0
mirror of https://github.com/AdaCore/code_examples_server.git synced 2026-02-12 12:45:18 -08:00
Code Issues Packages Projects Releases Wiki Activity

Returning Run button flag back to false for now.

Browse Source
This commit is contained in:
Robert Tice
2017-11-22 09:04:04 -05:00
parent 4a9ee53d82
commit 96266ffc48
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
compile_server/app/checker.py
View File

@@ -19,7 +19,7 @@ from compile_server.app.views import CrossDomainResponse
gnatprove_found = False
gnatemulator_found = False
ALLOW_RUNNING_PROGRAMS_EVEN_THOUGH_IT_IS_NOT_SECURE = True
ALLOW_RUNNING_PROGRAMS_EVEN_THOUGH_IT_IS_NOT_SECURE = False
# TODO: right now, executables are run through gnatemulator. We have not
# yet done the due diligence to sandbox this, though, so deactivating the
# run feature through this boolean.