mirror of
https://github.com/engineer-man/piston.git
synced 2025-04-20 20:16:26 +02:00
edge case
This commit is contained in:
parent
3673b4e403
commit
6fe0da030d
1 changed files with 5 additions and 1 deletions
|
@ -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);
|
||||
}
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue