diff options
| author |  MarkKoz <[email protected]> | 2020-02-29 09:12:58 -0800 |
|---|---|---|
| committer | MarkKoz <[email protected]> | 2020-03-22 15:54:42 -0700 |
| commit | 746673dbadb1a8b9872eeeeb21155214b846bba3 (patch) | |
| tree | 8f6c7c2f5df0d8b2d31b735283132888e9c53ffa /Pipfile.lock | |
| parent | HelpChannels: rename elements dict to name_positions (diff) | |
Scheduler: add a method to cancel all tasks
The dictionary which was iterated to cancel tasks is now "private".
Therefore, the scheduler should provide a public API for cancelling
tasks.
* Delete the task before cancelling it to prevent the done callback,
however unlikely it may be, from deleting the task first
Diffstat (limited to 'Pipfile.lock')
0 files changed, 0 insertions, 0 deletions