]> git.ipfire.org Git - pbs.git/commitdiff
jobs: Abort when the build job has crashed
authorMichael Tremer <michael.tremer@ipfire.org>
Mon, 10 Feb 2025 15:31:15 +0000 (15:31 +0000)
committerMichael Tremer <michael.tremer@ipfire.org>
Mon, 10 Feb 2025 15:31:15 +0000 (15:31 +0000)
I think we want to collect a little bit more meta information about the
crash, but for now we at least see that something has aborted the job.

Signed-off-by: Michael Tremer <michael.tremer@ipfire.org>
src/web/jobs.py

index 4d2b13690db8a23c34969e8c70c40ae8ef1e3b8d..14777c873d1d1f64d00e263197809f67e819f8cb 100644 (file)
@@ -112,7 +112,8 @@ class APIv1CrashedHandler(base.APIMixin, base.BackendMixin):
 
                log.error("%s has been killed with signal %s" % (job, signo))
 
-               # XXX TODO
+               # Automatically abort the job
+               await job.abort()
 
                # Send an empty response
                self.set_status(204)