From f72816e0f231ecbb88aee5df09b17079f4e7b306 Mon Sep 17 00:00:00 2001 From: Gabriel Ebner Date: Tue, 14 Feb 2017 09:28:53 +0100 Subject: [PATCH] feat(shell/server): cancel all tasks on server exit --- src/shell/server.cpp | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/shell/server.cpp b/src/shell/server.cpp index 5b6d58847c..92665dfb05 100644 --- a/src/shell/server.cpp +++ b/src/shell/server.cpp @@ -178,7 +178,9 @@ server::server(unsigned num_threads, environment const & initial_env, io_state c m_mod_mgr->set_save_olean(false); } -server::~server() {} +server::~server() { + m_tq->cancel_if([] (generic_task *) { return true; }); +} struct server::cmd_req { unsigned m_seq_num = static_cast(-1);