From 200e3b7f8d5a77060b2fe9fefdd11394a8373a78 Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.anjos@idiap.ch>
Date: Mon, 23 May 2016 11:34:24 +0200
Subject: [PATCH] [backend] Better identify when user processes are killed and
provide an explanation to the user in these cases
---
beat/web/backend/models.py | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/beat/web/backend/models.py b/beat/web/backend/models.py
index 35444db46..5cb4951c3 100644
--- a/beat/web/backend/models.py
+++ b/beat/web/backend/models.py
@@ -1296,6 +1296,11 @@ class JobSplit(models.Model):
else:
self.status = Job.COMPLETED if \
result.status == 0 else Job.FAILED
+ if result.status in (-15, 15, -9, 9):
+ # job received a term/kill signal
+ if not result.usrerr:
+ result.usrerr = 'User process was ' \
+ 'terminated by an external agent'
if result.id is None: result.save()
self.result = result
--
GitLab