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

Minor improvements to the handling of mains

Browse Source
This commit is contained in:
Nicolas Setton
2019-02-01 15:10:00 -05:00
parent e027209f7c
commit 90e7cf1b07
1 changed files with 12 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

25
infrastructure/container_payload/run.py
View File

@@ -106,27 +106,26 @@ def safe_run(workdir, mode):
bases = set([b[:-4] for b in names])
mains = [b for b in bases if b + '.ads' not in names]
if mains:
main = mains[0]
main = mains[-1]
if DEBUG and len(mains) > 1:
print "multiple mains found"
else:
print "No main found"
# Doctor the gpr to put the name of the main in there
doctor_main_gpr(workdir, main, False)
# In "run" mode, first build, and then launch the main
if c(["gprbuild", "-q", "-P", "main"]):
main = None
for main in mains:
# We run:
# - as user 'unprivileged' that has no write access
# - under a timeout
# - with our ld preloader to prevent forks
line = ['sudo', '-u', 'unprivileged', 'timeout', '10s',
'bash', '-c',
'LD_PRELOAD=/preloader.so {}'.format(
os.path.join(workdir, main.split('.')[0]))]
c(line)
# We run:
# - as user 'unprivileged' that has no write access
# - under a timeout
# - with our ld preloader to prevent forks
line = ['sudo', '-u', 'unprivileged', 'timeout', '10s',
'bash', '-c',
'LD_PRELOAD=/preloader.so {}'.format(
os.path.join(workdir, main.split('.')[0]))]
c(line)
except Exception:
traceback.print_exc()