From 7959cc235cc1e78caccc53f6e63d64e1827e3a46 Mon Sep 17 00:00:00 2001
From: Nicolas Setton <setton@adacore.com>
Date: Fri, 20 Jul 2018 01:12:59 -0400
Subject: [PATCH] Add a message when the run is interrupted

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

diff --git a/compile_server/app/safe_run.py b/compile_server/app/safe_run.py
index f246610..831be01 100644
--- a/compile_server/app/safe_run.py
+++ b/compile_server/app/safe_run.py
@@ -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: