rename *job* to *event* in remote_control.py#6
Conversation
If we want to allow cancel or interrupt, event better describes the action than a job
|
or maybe I should work on the rewrite branch? |
|
The rewrite branch is probably a better base to start from, it's substantially less jank. As promised, I'll work on it today, so I'd wait a bit before sending PRs. The reason I used "job" is because that's what the backend uses internally - specifically My current best idea for getting cancel to work is to simply have a node that clears all IDs that start with The queue on remote node could run this clear remote operation automatically as well, though maybe the job_id would need a short UUID part for that so as to still work with multiple people using the same remote backend. |
If we want to allow cancel or interrupt, event better describes the action than a job
WIP