diff options
Diffstat (limited to 'include/hotstuff/task.h')
| -rw-r--r-- | include/hotstuff/task.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/include/hotstuff/task.h b/include/hotstuff/task.h index 2564e7d..bfb7f63 100644 --- a/include/hotstuff/task.h +++ b/include/hotstuff/task.h @@ -46,7 +46,6 @@ class VeriPool { auto it = pms.find(task); it->second.second.resolve(task->result); pms.erase(it); - delete task; if (!--cnt) return true; } return false; @@ -60,7 +59,7 @@ class VeriPool { VeriTask *task; while (q.try_dequeue(task)) { - HOTSTUFF_LOG_DEBUG("%lu working on %u", + HOTSTUFF_LOG_DEBUG("%lx working on %u", std::this_thread::get_id(), (uintptr_t)task); task->result = task->verify(); out_queue.enqueue(task); |