diff options
author | Determinant <[email protected]> | 2018-11-21 23:35:01 -0500 |
---|---|---|
committer | Determinant <[email protected]> | 2018-11-21 23:35:01 -0500 |
commit | 59bac78c30b88b4a4db75b906c20f2bfe35ded41 (patch) | |
tree | e869865395839fd1c560a67a5abc7622a4c4471e /include | |
parent | 6e60955da1225447625f179f8117787c0c579302 (diff) |
fix bugs after using new library
Diffstat (limited to 'include')
-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); |