From 96266ffc4866cc93929a32eeb98c85f8a40c7d62 Mon Sep 17 00:00:00 2001
From: Robert Tice <tice@adacore.com>
Date: Wed, 22 Nov 2017 09:04:04 -0500
Subject: [PATCH] Returning Run button flag back to false for now.

---
 compile_server/app/checker.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compile_server/app/checker.py b/compile_server/app/checker.py
index 5daa9ab..988ecbc 100644
--- a/compile_server/app/checker.py
+++ b/compile_server/app/checker.py
@@ -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.