You've already forked code_examples_server
mirror of
https://github.com/AdaCore/code_examples_server.git
synced 2026-02-12 12:45:18 -08:00
Add a message when the run is interrupted
This commit is contained in:
@@ -40,7 +40,7 @@ def safe_run(main):
|
||||
# Run it, printint output to stdout as we go along
|
||||
subprocess.call(["lxc", "exec", CONT, "--",
|
||||
"su", "unprivileged", "-c",
|
||||
"timeout 20s {}".format(
|
||||
"timeout 20s {} || echo '<interrupted>'".format(
|
||||
os.path.join(tmpdir, os.path.basename(main)))],
|
||||
stdout=sys.stdout)
|
||||
except E:
|
||||
|
||||
Reference in New Issue
Block a user