diff options
Diffstat (limited to 'app/relay/runner.js')
| -rw-r--r-- | app/relay/runner.js | 3 |
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) |