summaryrefslogtreecommitdiff
path: root/app/relay/runner.js
diff options
context:
space:
mode:
authorJules Laplace <julescarbon@gmail.com>2018-06-22 15:44:05 +0200
committerJules Laplace <julescarbon@gmail.com>2018-06-22 15:44:05 +0200
commit5ced19fd5c4c50edba41a940d50d1982b033c775 (patch)
tree0675ce51b81f72e6f44fff50ca96ee1dce13a3a7 /app/relay/runner.js
parentfc220ebd827bbb88823cfefc18cd0f99449ae3d7 (diff)
runnnerrrrrr
Diffstat (limited to 'app/relay/runner.js')
-rw-r--r--app/relay/runner.js3
1 files changed, 3 insertions, 0 deletions
diff --git a/app/relay/runner.js b/app/relay/runner.js
index c0d72ba..b138b87 100644
--- a/app/relay/runner.js
+++ b/app/relay/runner.js
@@ -440,9 +440,11 @@ export function stop_task(task, sigkill){
console.log("stop task", task)
if (!task) return { error: 'no such task' }
if (task === 'cpu' || state.current_cpu_task.task.uuid === task.uuid) {
+ console.log('stop cpu task')
terminate(state.current_cpu_task, sigkill)
return { status: 'ok' }
} else if (task === 'gpu' || state.current_gpu_task.task.uuid === task.uuid) {
+ console.log('stop gpu task')
terminate(state.current_gpu_task, sigkill)
return { status: 'ok' }
}
@@ -451,6 +453,7 @@ export function stop_task(task, sigkill){
export function terminate(processor, sigkill=false){
if (!processor || !processor.subprocess) {
+ console.log('nothing running on', processor)
return
}
console.log('kill pid', processor.subprocess.pid)