diff options
Diffstat (limited to 'app/relay/runner.js')
| -rw-r--r-- | app/relay/runner.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/app/relay/runner.js b/app/relay/runner.js index d42316d..080a753 100644 --- a/app/relay/runner.js +++ b/app/relay/runner.js @@ -311,6 +311,7 @@ export function run_task(task, preempt=false, watch=false){ export function run_task_with_activity(task, module, activity, preempt=false, watch=false) { const { interpreter, params, cancelled } = build_params(module, activity, task) + if (cancelled) return finish({ type: 'task_error', task, "Task generator cancelled task", }) if (! interpreter) return { type: 'error', error: "No such interpreter: " + activity.interpreter } if (interpreter.gpu && state.current_gpu_task.status !== 'IDLE') { |