Closed craig-willis closed 1 year ago
The Girder API PUT /job/{id}/cancel has always been there, but our jobs have not respected it until https://github.com/whole-tale/gwvolman/pull/177/files.
PUT /job/{id}/cancel
To allow users to cancel these jobs, we need to add a UI component. From my understanding, cancel is currently limited to these two job types. This will likely need to go into the notification panel, but there may be a better place.
The Girder API
PUT /job/{id}/cancel
has always been there, but our jobs have not respected it until https://github.com/whole-tale/gwvolman/pull/177/files.To allow users to cancel these jobs, we need to add a UI component. From my understanding, cancel is currently limited to these two job types. This will likely need to go into the notification panel, but there may be a better place.