mirror of
https://github.com/ElementsProject/elements.git
synced 2026-08-15 12:51:00 +02:00
Merge 3516a31eaa into merged_master (Bitcoin PR #18234)
This commit is contained in:
commit
2d35bebf6b
14 changed files with 152 additions and 117 deletions
|
|
@ -209,6 +209,8 @@ void Shutdown(NodeContext& node)
|
|||
|
||||
// After everything has been shut down, but before things get flushed, stop the
|
||||
// CScheduler/checkqueue threadGroup
|
||||
if (node.scheduler) node.scheduler->stop();
|
||||
if (node.reverification_scheduler) node.reverification_scheduler->stop();
|
||||
threadGroup.interrupt_all();
|
||||
threadGroup.join_all();
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue