From 6fe0da030d39fce9e8ef3ad19d02e927786f3c86 Mon Sep 17 00:00:00 2001 From: Thomas Hobson Date: Mon, 26 Apr 2021 13:37:50 +1200 Subject: [PATCH] edge case --- api/src/job.js | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/api/src/job.js b/api/src/job.js index 45bf14f..b751228 100644 --- a/api/src/job.js +++ b/api/src/job.js @@ -192,7 +192,11 @@ class Job { processes = processes.filter(proc => proc.uid == this.uid); for(const proc of processes){ - process.kill(proc.pid, 'SIGKILL'); + try{ + process.kill(proc.pid, 'SIGKILL'); + }catch{ + // Could already be dead and just needs to be waited on + } wait_pid(proc.pid); } }