stop long-running evaluation #2

Open

Labels

opened

on Aug 18, 2019

in case of infinite loops and such, evaluation can be halted by respawning the worker. This can be done indirectly by toggling a feature on and off, but ideally we should have a button for this.

Metadata

Assignees

No one assigned

Labels

Type

No type

Fields

No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests