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;
                 }