diff options
| author | Jules Laplace <julescarbon@gmail.com> | 2018-09-13 19:26:50 +0200 |
|---|---|---|
| committer | Jules Laplace <julescarbon@gmail.com> | 2018-09-13 19:26:50 +0200 |
| commit | 9f90167fe7d5a4cfd954843881649746572a1c7d (patch) | |
| tree | bbec1d14e95d1ad13f59e388c8fea794b02bd195 /app/relay/runner.js | |
| parent | 3ca69b483816e714ed3eb71a5c9d95b4ff635ec2 (diff) | |
merge
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') { |