diff options
| -rw-r--r-- | include/hotstuff/task.h | 3 | ||||
| m--------- | salticidae | 0 |
2 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); diff --git a/salticidae b/salticidae -Subproject 27304354844c8baf8c14ef923e0ab65bc4df2dc +Subproject b84b00cb9d17a51b2667716229dd3ecde756b70 |