[Running a Workflow] Cancel running workflow
It should be possible to cancel running workflows. This feature could be implemented in form of a optional, only at workflow execution time available, menu operation or dedicated cancel button.
Cancelling process is done by setting the priority of the container_request to 0 (see: https://doc.arvados.org/api/methods/container_requests.html)Acceptance criteria:
- Cancel functionality is available when process is running, otherwise hidden or deactivated.
- Cancelling sets the priority to 0 so that crunch can take care of shutting the process down