From f9ad8a4c20554bafaa5961ff44af0cec3f65fdb0 Mon Sep 17 00:00:00 2001
From: Jules Laplace <julescarbon@gmail.com>
Date: Thu, 7 Jun 2018 20:09:50 +0200
Subject: try kill

---
 app/relay/runner.js | 14 +++++++++-----
 1 file changed, 9 insertions(+), 5 deletions(-)

(limited to 'app/relay/runner.js')

diff --git a/app/relay/runner.js b/app/relay/runner.js
index 3ad73a2..1c98977 100644
--- a/app/relay/runner.js
+++ b/app/relay/runner.js
@@ -339,23 +339,27 @@ export function run_next_task(){
   }
 }
 
-export function stop_task(task){
+export function stop_task(task, sigkill){
   if (!task) return
   if (task === 'cpu' || state.current_cpu_task.task.uuid === task.uuid) {
-    terminate(state.current_cpu_task)
+    terminate(state.current_cpu_task, sigkill)
     return { status: 'ok' }
   } else if (task === 'gpu' || state.current_gpu_task.task.uuid === task.uuid) {
-    terminate(state.current_gpu_task)
+    terminate(state.current_gpu_task, sigkill)
     return { status: 'ok' }
   }
   return { error: 'no such task' }
 }
 
-export function terminate(processor){
+export function terminate(processor, sigkill=false){
   if (!processor || !processor.subprocess) {
     return
   }
   console.log('kill pid', processor.subprocess.pid)
   processor.task.cancelled = true
-	kill(processor.subprocess.pid)
+  if (sigkill) {
+    kill(processor.subprocess.pid, 'SIGKILL')
+  } else {
+    kill(processor.subprocess.pid)
+  }
 }
\ No newline at end of file
-- 
cgit v1.2.3-70-g09d2