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

Refactoring some code.

Browse Source
This commit is contained in:
Robert Tice
2019-05-17 15:17:17 -04:00
parent 17acc8b52c
commit 3e687e5ead
1 changed files with 7 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
infrastructure/container_payload/run.py
View File

@@ -151,26 +151,23 @@ def safe_run(workdir, mode, lab):
def json_print(pdict):
print(json.dumps(pdict))
def print_stdout(msg, lab_ref=None):
def print_generic(msg, tag, lab_ref):
obj = {"msg": msg}
if lab_ref:
obj["lab_ref"] = lab_ref
json_print({"stdout": obj})
json_print({tag: obj})
def print_stdout(msg, lab_ref=None):
print_generic(msg, "stdout", lab_ref)
def print_stderr(msg, lab_ref=None):
obj = {"msg": msg}
if lab_ref:
obj["lab_ref"] = lab_ref
json_print({"stderr": obj})
print_generic(msg, "stderr", lab_ref)
def print_lab(success, cases):
json_print({"lab_output": {"success": success, "test_cases": cases}})
def print_console(cmd_list, lab_ref=None):
obj = {"msg": " ".join(cmd_list).replace(workdir, '.')}
if lab_ref:
obj["lab_ref"] = lab_ref
json_print({"console": obj})
print_generic(" ".join(cmd_list).replace(workdir, '.'), "console", lab_ref)
def c(cl=[], lab_ref=None):
"""Aux procedure, run the given command line and output to stdout.