diff --git a/api/src/job.js b/api/src/job.js index d561036..eef2ffd 100644 --- a/api/src/job.js +++ b/api/src/job.js @@ -120,18 +120,13 @@ class Job { '--nofile=' + this.runtime.max_open_files, '--fsize=' + this.runtime.max_file_size, ]; - - const timeout_call = [ - 'timeout', '-s', '9', Math.ceil(timeout / 1000), - ]; if (memory_limit >= 0) { prlimit.push('--as=' + memory_limit); } - const proc_call = [ + const proc_call = [ 'nice', - ...timeout_call, ...prlimit, ...nonetwork, 'bash', @@ -341,20 +336,14 @@ class Job { const [_, ruid, euid, suid, fuid] = uid_line.split(/\s+/); const [_1, state, user_friendly] = state_line.split(/\s+/); - - const proc_id_int = parse_int(proc_id); - if (state == 'Z'){ - // Zombie process, just needs to be waited, regardless of the user id - if(!to_wait.includes(proc_id_int)) - to_wait.push(proc_id_int); - + if (state == 'Z') + // Zombie process, just needs to be waited return -1; - } // We should kill in all other state (Sleep, Stopped & Running) if (ruid == this.uid || euid == this.uid) - return proc_id_int; + return parse_int(proc_id); } catch { return -1; }