From e3aabd4515f2afa8ffdaf38000f7e42d547acf1f Mon Sep 17 00:00:00 2001
From: Alexandre Aubin <alex.aubin@mailoo.org>
Date: Mon, 28 Dec 2020 23:42:19 +0100
Subject: [PATCH] Send SIGTERM when cancelling jobs ?

---
 run.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/run.py b/run.py
index 33701d5..f101586 100644
--- a/run.py
+++ b/run.py
@@ -440,6 +440,7 @@ async def run_job(worker, job):
             }, ["jobs", f"job-{job.id}", f"app-jobs-{job.url_or_path}"])
 
     except CancelledError:
+        command.terminate()
         job.log += "\n"
         job.end_time = datetime.now()
         job.state = "canceled"