Add TODO for proper after job cancellation

This commit is contained in:
Lars Mueller 2022-09-06 12:09:17 +02:00
parent 7297852127
commit baecb79eda

@ -19,6 +19,8 @@ local jobs = modlib.heap.new(function(a, b)
end) end)
local job_metatable = { local job_metatable = {
__index = { __index = {
-- TODO (...) proper (instant rather than deferred) cancellation:
-- Keep index [job] = index, swap with last element and heapify
cancel = function(self) cancel = function(self)
self.cancelled = true self.cancelled = true
end end